Detalles de la obra

Experiment with a type-theoretic approach to the verification of model transformations
Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro
Pie de imprenta:
Montevideo: Universidad ORT Uruguay. Facultad de Ingeniería, 2009
Descripción física:
[20] p. ill., graf. 22 x 28 cm.
1688-8707 (en línea)
"This paper presents ongoing work on the application of constructive type theory for safe development in Model-Driven Engineering. In particular, we put into practice a certification framework based on the Calculus of Inductive Constructions (CIC) as follows: we first describe methods for representing metamodels and specifications of model transformations as types and then outline principles for representing given transformations, written in a certain transformation language, as functions in CIC. Then properties of these functions are proven, including their correctness with respect to sufficiently expressive specifications, thereby providing a semiformal way to verify the original transformations. We carry out a concrete case taken from an on-line base of basic examples and patterns of use of the ATL transformation language, implementing it on machine using the Coq proof assistant." [Abstract]
Referencias bibliográficas:
Incluye Bibliografía.
Título serie:
Documento de Investigación / ; n.8
Ubicación física:
005.13 / CALe
Tipo de material:
[Material Impreso]

Archivos asociados:

Archivo Tamaño Formato
Material completo N/A application/pdf