Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3447
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Calegari García, Daniel | es |
dc.contributor.author | Luna, Carlos | es |
dc.contributor.author | Szasz, Nora | es |
dc.contributor.author | Tasistro, Alvaro | es |
dc.date.accessioned | 2014-12-02T16:06:07Z | - |
dc.date.available | 2014-12-02T16:06:07Z | - |
dc.date.issued | 2010 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | 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. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3447 | - |
dc.description.abstract | 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. | es |
dc.format.extent | 8 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | in | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 10-01 | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Model-Driven Engineering | es |
dc.subject | Model Transformations | es |
dc.subject | Correctness | es |
dc.subject | Constructive Type Theory | es |
dc.title | Representation of metamodels using inductive types in a type-theoretic framework for MDE | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
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