@InProceedings{HLBG12,
AUTHOR = {Hildebrandt, Stephan and Lambers, Leen and Becker, Basil and Giese, Holger},
TITLE = {{Integration of Triple Graph Grammars and Constraints}},
YEAR = {2012},
BOOKTITLE = {Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012)},
VOLUME = {52},
PAGES = {1-12},
EDITOR = {Krause, Christian and Westfechtel, Bernhard},
PUBLISHER = {EC-EASST},
URL = {http://journal.ub.tu-berlin.de/eceasst/article/view/770/774},
OPTacc_url = {},
PDF = {uploads/pdf/HLBG12_HLBG12-Integration-TGG-Constraints.pdf},
OPTacc_pdf = {},
ABSTRACT = {Metamodels are often augmented with additional constraints that must
be satisfied by valid instances of these metamodels. Such constraints express complex
conditions that cannot be expressed in the metamodel itself. Model transformations
have to take such constraints of the source and target metamodels into account.
Given a valid source model, which satisfies the source constraints, a model transformation
is expected to return a valid target model (forward validity). However, in
current model transformation definition and tool support, such an integration with
source and target constraints including validation mechanisms is often ignored or
not satisfactory yet.
In this paper, we describe how the integration with source and target constraints can
be achieved for the special case of model transformations defined by Triple Graph
Grammars (TGGs). First, we extend the relational model transformation definition
for TGGs and integrate it with source and target constraints. Moreover, we
describe how forward/backward validity of TGGs with constraints can be automatically
checked, either by static analysis using an invariant checker, or by generating
and validating metamodel instances. Finally, we describe how to integrate constraints
into our TGG-based model transformation implementation and automatic
conformance testing framework.}
}