Resumen de Formalización de transformaciones de refinamiento de componentes

María Francisca Rosique Contreras , Pedro Sánchez Palma , Diego Alonso Cáceres

• 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.