Formalización de transformaciones de refinamiento de componentes

  1. Rosique Contreras, María Francisca
  2. Sánchez Palma, Pedro
  3. Alonso Cáceres, Diego
Revista:
Jornadas de introducción a la investigación de la UPCT

ISSN: 1888-8356

Any de publicació: 2011

Número: 4

Pàgines: 73-75

Tipus: Article

Altres publicacions en: Jornadas de introducción a la investigación de la UPCT

Resum

En el proceso de desarrollo de software dirigido por mdelos es posible encontrar situaciones en las que las tranformaciones entre modelos de distintos niveles de abstracción necesitan un tratamiento prervio que facilite la transformación, sobre todo cuando se dispone de varios modelos específicos de la plataforma. En este documento se propone como solución la realización de una transformación de refinamiento, previa a la obtención del modelo específico de la plataforma.