An invariant-based method for the analysis of declarative model-to-model transformations
Entity
UAM. Departamento de Ingeniería InformáticaPublisher
Springer Berlin HeidelbergDate
2008Citation
10.1007/978-3-540-87875-9_3
Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Lecture Notes in Computer Science, Volumen 5301. Springer, 2008. 37-52
ISSN
0302-9743 (print); 1611-3349 (online)ISBN
978-3-540-87874-2 (print); 978-3-540-87875-9 (online)DOI
10.1007/978-3-540-87875-9_3Funded by
Work supported by the Spanish Ministry of Education and Science, projects MOSAIC (TSI2005-08225-C07-06), MODUWEB (TIN2006-09678) and TIN2005-06053, and an UOC-IN3 research grantEditor's Version
http://dx.doi.org/10.1007/978-3-540-87875-9_3Subjects
Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Management of Computing and Information Systems; InformáticaNote
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-87875-9_3Proceedings of 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008
Rights
© Springer-Verlag Berlin Heidelberg 2008Abstract
In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches for specifying such transformations: Triple Graph Grammars and QVT. Once the specification is expressed in the form of invariants, the transformation developer can use such description to verify properties of the original transformation (e.g. whether it defines a total, surjective or injective function), and to validate the transformation by the automatic generation of valid pairs of source and target models.
Files in this item
Google Scholar:Cabot, Jordi
-
Clarisó, Robert
-
Guerra Sánchez, Esther
-
Lara Jaramillo, Juan de
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.