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

dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.authorFornaro Rosado, Carlos Nicoláses
dc.contributor.tribunalYovine Seijas, Sergio Fabiánes
dc.contributor.tribunalFridlender, Danieles
dc.date.accessioned2017-06-14T12:16:46Z
dc.date.available2017-06-14T12:16:46Z
dc.date.issued2013es
dc.descriptionIncluye en bibliografía y anexoses
dc.description.abstractEl 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.es
dc.format.extent124 p. diagrs., tbls.es
dc.identifier.citationFornaro 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/3058es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/3058
dc.languageEspañoles
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/78900es
dc.subjectPROYECTOS-MIes
dc.subjectTEORÍA DE TIPOSes
dc.subjectINGENIERÍA DIRIGIDA POR MODELOSes
dc.subjectLENGUAJES DE TRANSFORMACIÓNes
dc.subjectSEMÁNTICAes
dc.titleInterpretación de KM3/ATL en Teoría de Tiposes
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Master en Ingeniería - MIes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelMasteres
ort.thesis.degreenameMaster en Ingenieríaes
ort.thesis.degreetypeDesarrollo de Tesises
ort.thesis.noteDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Material completo.pdf
Size:
593.1 KB
Format:
Adobe Portable Document Format
Description:
description