Formalización de transformaciones de refinamiento de componentes
ISSN: 1888-8356
Año de publicación: 2011
Número: 4
Páginas: 73-75
Tipo: Artículo
Otras publicaciones en: Jornadas de introducción a la investigación de la UPCT
Resumen
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.