Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3447
Cómo citar
Título: | Representation of metamodels using inductive types in a type-theoretic framework for MDE |
Autor: | Calegari García, Daniel Luna, Carlos Szasz, Nora Tasistro, Alvaro |
Tipo: | Reporte técnico |
Palabras clave: | Model-Driven Engineering, Model Transformations, Correctness, Constructive Type Theory |
Fecha de publicación: | 2010 |
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. |
Editorial: | UR. FI – INCO. |
Serie o colección: | Reportes Técnicos 10-01 |
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. |
ISSN: | 0797-6410 |
Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR1001.pdf | 169,93 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons