Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF
García, Carlos Diego
Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF - 2008 - 92 h. : il. ; 30 cm.
Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008.
1- Introducción 2- MOF y metamodelos 3- Uso de OCL en modelos basados en MOF 4- Metamodelo de la sintaxis abstracta de OCL 2.0 5- Estrategia de evaluación para las condiciones de refinamientos en modelos UML/OCL 6- Implementación 7- Trabajos relacionados 8- conclusiones finales y futuros trabajos 9- Referencias 10- Anexos: Transformación de las condiciones de refinamiento de Object-Z a OCL ; Gramática de OCL 2.0 ; Ejemplo de un archivo .jj ; Tipos básicos de OCL. -- Disponible también en línea (Consulta 24/02/2009)
DIF-M2549
MODELADO DE SOFTWARE
LENGUAJES DE MODELADO
OCL
Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF - 2008 - 92 h. : il. ; 30 cm.
Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008.
1- Introducción 2- MOF y metamodelos 3- Uso de OCL en modelos basados en MOF 4- Metamodelo de la sintaxis abstracta de OCL 2.0 5- Estrategia de evaluación para las condiciones de refinamientos en modelos UML/OCL 6- Implementación 7- Trabajos relacionados 8- conclusiones finales y futuros trabajos 9- Referencias 10- Anexos: Transformación de las condiciones de refinamiento de Object-Z a OCL ; Gramática de OCL 2.0 ; Ejemplo de un archivo .jj ; Tipos básicos de OCL. -- Disponible también en línea (Consulta 24/02/2009)
DIF-M2549
MODELADO DE SOFTWARE
LENGUAJES DE MODELADO
OCL