Análisis de transformaciones de modelos ATL con AnATLyzer

Resumen:

Las transformaciones de modelos son un elemento clave del Desarrollo de Software Dirigido por Modelos puesto que permiten automatizar muchas tareas de manipulación de modelos. Por tanto, disponer de métodos que permitan detectar errores no triviales resulta esencial. Sin embargo no existen herramientas prácticas de análisis de transformaciones que sean capaces de tratar con transformaciones complejas. En esta demostración se presentará anATLyzer un analizador estático para transformaciones ATL que hace uso de "constraint solving" para mejorar la precisión del análisis. AnATLyzer no se limita a un subconjunto de ATL sino que intenta cubrir ATL completamente. Se integra con el editor de ATL en Eclipse, y ofrece servicios adicionales como visualización y quick fixes, así como una API para ser utilizado de manera programática. La demostración se ilustrará con un ejemplo sobre el que se mostrarán algunos de los tipos de errores que hemos encontrado analizando transformaciones del Zoo de ATL, con el objetivo de motivar la necesidad de este tipo de herramientas y mostrar sus características principales.

Palabras Clave:

Transformaciones de modelos, ATL, AnATLyzer, Análisis estático, Constraint solving

Autor(es):

• Jesús Sánchez Cuadrado {jesus.sanchez.cuadrado@uam.es}
  Grupo de investigación Miso, Universidad Autónoma de Madrid
  
• Esther Guerra {esther.guerra@uam.es}
  Grupo de investigación Miso, Universidad Autónoma de Madrid
  
• Juan de Lara {juan.delara@uam.es}
  Grupo de investigación Miso, Universidad Autónoma de Madrid
  

Handle:

11705/JISBD/2016/025

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