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.(more)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 cabot_08_invariant-based
%A Cabot, Jordi
%A Claris'o, Robert
%A Guerra, Esther
%A de Lara, Juan
%D 2008
%J Model Driven Engineering Languages and Systems
%K 2008 model_checking
%P 37--52
%R http://dx.doi.org/10.1007/978-3-540-87875-9_3
%T An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
%U http://dx.doi.org/10.1007/978-3-540-87875-9_3
%X 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.
@incollection{cabot_08_invariant-based,
abstract = {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.},
added-at = {2009-02-11T20:12:34.000+0100},
author = {Cabot, Jordi and Claris'{o}, Robert and Guerra, Esther and de Lara, Juan},
biburl = {https://www.bibsonomy.org/bibtex/240d89c0a640e4dda3b1225d814e5e646/leonardo},
citeulike-article-id = {3336149},
doi = {http://dx.doi.org/10.1007/978-3-540-87875-9_3},
interhash = {ccbd693ed0ee3681c55e431822d4976a},
intrahash = {40d89c0a640e4dda3b1225d814e5e646},
journal = {Model Driven Engineering Languages and Systems},
keywords = {2008 model_checking},
pages = {37--52},
posted-at = {2008-09-25 15:09:32},
priority = {2},
timestamp = {2009-02-11T20:12:34.000+0100},
title = {An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations},
url = {http://dx.doi.org/10.1007/978-3-540-87875-9_3},
year = 2008
}