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.
