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

Ano de publicación: 2011

Número: 4

Páxinas: 73-75

Tipo: Artigo

Outras publicacións en: Jornadas de introducción a la investigación de la UPCT

Resumo

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.