Autor:
Sánchez Cuadrado, Jesús

Cargando...
Foto de perfil

E-mails conocidos

jesus.sanchez.cuadrado@uam.es
jesusc@um.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Sánchez Cuadrado

Nombre de pila

Jesús

Nombre

Nombres alternativos

Afiliaciones conocidas

Grupo de investigación Miso, Universidad Autónoma de Madrid
Universidad de Murcia
Universidad de Murcia, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Artículo
    Análisis de transformaciones de modelos ATL con AnATLyzer
    Sánchez Cuadrado, Jesús; Guerra, Esther; de Lara, Juan. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    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.