Un marco formal para transformaciones en la ingeniería de software conducida por modelos

Título:

Un marco formal para transformaciones en la ingeniería de software conducida por modelos

Autor:

Giandini, Roxana Silvia

Otros autores / Colaboradores:

 Pons, Claudia Fabiana; [ Director/a] 

Temas:

TRANSFORMACIÓN DE MODELOS; ARQUITECTURA DIRIGIDA POR MODELOS - MDA; INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE; 

URL:

,

Nota de tesis:

Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata, Facultad de Informática, 2007.

Extensión:

[10], 153 p. : il.

Resumen:

El paradigma MDE (Model Driven Engeenering) tiene dos ejes principales: - por un lado hace énfasis en la separación entre la especificación de la funcionalidad esencial del sistema y la implementación de dicha funcionalidad usando plataformas tecnológicas específicas. Los modelos son considerados los conductores primarios en todos los aspectos del desarrollo de software. La transformación entre modelos constituye el motor del MDE y de esta manera los modelos pasan de ser entidades meramente contemplativas a ser entidades productivas. Existe también una visión genérica sobre la metodología MDE, en la cual el proceso de desarrollo de software es implementado mediante una red de transformaciones que se combinan o componen en modos diversos. La habilidad de organizar o componer diferentes transformaciones en manera flexible y confiable con el fin de producir el resultado requerido, es un desafío principal en MDE. Por lo tanto la definición formal de lenguajes de transformación debe incluir mecanismos de composición.

Puede solicitar más fácilmente el ejemplar con: TES 07/16

1- Introducción  2- Conceptos básicos sobre transformación de modelos  3- SQVT: Una simplificación de QVT basada en estándares OMG  4- La teoría intuitiva de problemas como base formal para lenguajes de transformación de modelos  5- Conceptos básicos sobre composición de transformaciones  6- La teoría algebraica de problemas como base formal para la composición de transformaciones  7- Análisis de los casos de aplicación de las operaciones del Álgebra  8- Prototipo de implementación  9- Trabajos relacionados  10- Conclusiones 
Glosario de siglas y términos
Referencias bibliográficas.
Disponible en PDF la presentación y el resumen de la tesis
La tesis disponible también en línea (Consulta 24/02/2009)