Interpretación de KM3/ATL en Teoría de Tipos

Loading...
Thumbnail Image
Date
2013
Authors
Fornaro Rosado, Carlos Nicolás
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
Abstract
El término Ingeniería Dirigida por Modelos (MDE) se utiliza para describir enfoques de desarrollo de software en los cuales se crean modelos abstractos de sistemas de software que son transformados de manera sistemática para obtener implementaciones concretas de los sistemas que representan. En este contexto, se han desarrollado lenguajes para describir transformaciones ejecutables por máquina. ATL (ATLAS Transformation Language) aparece como uno de los lenguajes más utilizados para especificar este tipo de transformaciones, en conjunto con KM3 (Kernel Meta Meta Model) para expresar la estructura de los modelos. Este proyecto busca la verificación formal de los modelos y transformaciones especificadas utilizando ATL y KM3, para mejorar la calidad y confiabilidad de los sistemas desarrollados. La principal dificultad para razonar sobre transformaciones y modelos especificados en estos lenguajes es la falta de una semántica formal. Buscando eliminar esta dificultad se presenta una interpretación de ATL y KM3, dando una semántica formal, precisa, concisa y tratable por máquina. La misma se formula en la Teoría Constructiva de Tipos. La semántica se implementa como un traductor de ATL/KM3 a Agda, un lenguaje funcional con tipos dependientes. Se habilita, además, el uso de un ambiente con un alto grado de expresividad, en el que es posible codificar y demostrar propiedades para los modelos y transformaciones. Finalmente, se muestra la implementación del traductor automático que permite representar meta-modelos, modelos y transformaciones existentes en la nueva interpretación.
En
Thesis note
Desarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Master en Ingeniería
124 p. diagrs., tbls.
Notes
Incluye en bibliografía y anexos
Subject
PROYECTOS-MI, TEORÍA DE TIPOS, INGENIERÍA DIRIGIDA POR MODELOS, LENGUAJES DE TRANSFORMACIÓN, SEMÁNTICA
Type
Trabajo final de carrera
Access the full text
Citation
Fornaro Rosado, C. N. (2013). Interpretación de KM3/ATL en Teoría de Tipos (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3058
Rights license