Architec

Índice general
1. Introducción.......................................................................................... 7
2. Motivación............................................................................................. 9
2.1.

Aportes.....................................................................................................9

3. UML, MOF y Metamodelos.............................................................. 10
3.1.
3.2.
3.3.

UML.......................................................................................................10
Concepto de meta-metamodelo y metamodelo ...................................12
MOF.......................................................................................................12

3.3.1.
3.3.2.3.4.

Arquitectura MOF .................................................................................. 13
Construcciones básicas utilizadas por MOF........................................... 15

Paquetes principales del metamodelo de UML .....................................15

4. Uso de OCL en modelos basados en MOF....................................... 17
4.1.

Restricciones en OCL............................................................................18

4.1.1.
4.1.2.
4.1.3.
4.1.4.
4.1.5.

4.2.
4.3.
4.4.

Invariante ................................................................................................ 18
Definición ............................................................................................... 20
Precondición........................................................................................... 20
Postcondición ......................................................................................... 21
Reglas a nivel metamodelo..................................................................... 22

Expresión de valor inicial ......................................................................23Expresión de valor derivado ..................................................................24
Expresión de consulta ............................................................................24

5. Arquitectura dirigida por modelos................................................... 26
5.1.
5.2.

Introducción aMDA..............................................................................26
Modelos en MDA ..................................................................................28

5.2.1.
5.2.2.

5.3.

Desarrollo tradicional Vs. Desarrollo con MDA...................................29

5.3.1.
5.3.2.
5.3.3.

5.4.

PIM ......................................................................................................... 28
PSM........................................................................................................ 28
Problemas de desarrollo tradicional ....................................................... 29
Beneficios del MDA............................................................................... 31
El nuevo proceso de desarrollo............................................................... 32

Importancia delmetamodelado en MDA ..............................................33

6. Estrategias de evaluación para las condiciones de refinamiento de
modelos MOF............................................................................................. 34
6.1.
6.2.
6.3.

Condiciones de refinamiento .................................................................35
Relación de refinamiento enUML ........................................................36
Estrategia de verificación para patrones de refinamiento UML............36

6.3.1.
6.3.2.
6.3.3.

6.4.

Patrón State............................................................................................. 37
Patrón Object Descomposition ............................................................... 40
Patrón Atomic...