Prueba de Transformaciones de Modelos con TractsTool

Resumen:

Las tranformaciones de modelos son un elemento esencial en la Ingeniería Dirigida por Modelos (Model-driven Engineering, MDE) y por ello una tarea que está cobrando relevancia es probar su corrección. Los Tracts ofrecen un enfoque modular y extensible para la especificación y verificación de transformaciones de modelos. Este trabajo presenta TractsTool, una herramienta desarrollada en Eclipse que implementa los mecanismos que proporcionan los Tracts.

Palabras Clave:

MDE - Tracts - Transformaciones de Modelos

Autor(es):

• Manuel Wimmer {mw@lcc.uma.es}
  GISUM/Grupo de investigación Atenea. Universidad de Málaga
  
• Loli Burgueño {av@lcc.uma.es}
  GISUM/Grupo de investigación Atenea. Universidad de Málaga
  
• Antonio Vallecillo {av@lcc.uma.es}
  GISUM/Grupo de investigación Atenea. Universidad de Málaga
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex