Título:
Representation of metamodels using inductive types in a type-theoretic framework for MDE
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Calegari García, Daniel
Luna, Carlos
Szasz, Nora
Tasistro, Alvaro
Luna, Carlos
Szasz, Nora
Tasistro, Alvaro
Tutor:
Tipo de documento:
Reporte técnico
Editor:
Palabras clave:
Model-Driven Engineering
Model Transformations
Correctness
Constructive Type Theory
Model Transformations
Correctness
Constructive Type Theory
Descriptores:
Año de publicación:
2010
Contenido:
Resumen:
We present discussions on how to apply a type-theoretic framework composed out by the Calculus of Inductive Constructions and its associated tool the Coq proof assistant to the formal treatment of model transformations in the context of Model-Driven Engineering. We start by studying how to represent models and metamodels in the mentioned theory, which leads us to a formalization in which a metamodel is a collection of mutually defined inductive types representing its various classes and associations. This representation has been put into use for carrying out and verifying on machine the well-known case study of the Class to Relational model transformation. We finally end up discussing ways in which the framework can be used to obtain provably correct model transformations.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 10-01
Financiadores:
Citación:
CALEGARI GARCÍA, D., LUNA, C., SZASZ, N., y otros."Representation of metamodels using inductive types in a type-theoretic framework for MDE". Reportes Técnicos 10-01. UR. FI – INCO, 2010.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3447
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR1001.pdf | — | 169.93 KB | Adobe PDF |