Experiment with a type-theoretic approach to the verification of model transformations

  title={Experiment with a type-theoretic approach to the verification of model transformations},
  author={Calegari and Daniel Luna and Carlos Szasz and Nora Tasistro and {\'A}lvaro}
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… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 16 references

UML 2.0 Object Constraint Language

  • OMG
  • Object Management Group, Formal Specification…
  • 2006
Highly Influential
3 Excerpts

Meta Object Facility (MOF) 2.0 Query/View/Transformation

  • OMG
  • Object Management Group, Specification Version 1…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…