Universidad ORT Uruguay

A type-theoretic framework for certified model transformations

Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro. Universidad ORT Uruguay. Facultad de Ingeniería, 2010. 16 p. (Documento de Investigación, nro. 9).
Abstract:
"We present a framework based on the Calculus of Inductive Constructions (CIC) and its associated tool the Coq proof assistant to allow certification of model transformations in the context of Model-Driven Engineering (MDE). The approached is based on a semi-automatic translation process from metamodels, models and transformations of the MDE technical space into types, propositions and functions of the CIC technical space. We describe this translation and illustrate its use in a standard case study." [Abstract]
URI: http://hdl.handle.net/20.500.11968/2726
ISSN: 1688-8707
Subject: TEOREMA AUTOMÁTICO-DEMOSTRACIÓN, TEORÍA DE TIPOS, SOFTWARE-DESARROLLO, INGENIERÍA DIRIGIDA POR MODELOS
Type: Documento de investigación
Citation: Calegari, D., Luna, C., Szasz, N., & Tasistro, Á. (2010). A type-theoretic framework for certified model transformations. (Documento de Investigación nro. 9). Montevideo: Universidad ORT Uruguay. Facultad de Ingeniería. Recuperado de http://dspace.ort.edu.uy/handle/20.500.11968/2726
Licence: Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)

Show full item record

Files in this item

Icon
Name: documento9fi.pdf
Size: 265.2Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

https://creativecommons.org/licenses/by-nc-nd/4.0/ Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/