Available on ORBilu since
17 July 2013
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando et al.
2010In Graph Transformation
Peer reviewed


Full Text
Publisher postprint (344.69 kB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Model Transformation; Triple Graph Grammars; Confluence; Functional Behaviour
Abstract :
[en] Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and completeness, but functional behaviour is missing up to now. In order to close this gap we generate forward translation rules, which extend standard forward rules by translation attributes keeping track of the elements which have been translated already. In the first main result we show the equivalence of model transformations based on forward resp. forward translation rules. This way, an additional control structure for the forward transformation is not needed. This allows to apply critical pair analysis and corresponding tool support by the tool AGG. However, we do not need general local confluence, because confluence for source graphs not belonging to the source language is not relevant for the functional behaviour of a model transformation. For this reason we only have to analyze a weaker property, called translation confluence. This leads to our second main result, the functional behaviour of model transformations, which is applied to our running example, the model transformation from class diagrams to database models.
Disciplines :
Computer science
Identifiers :
Author, co-author :
Hermann, Frank ;  TU Berlin, Germany
Ehrig, Hartmut;  TU Berlin, Germany
Orejas, Fernando;  UPC Barcelona, Spain
Golas, Ulrike;  TU Berlin, Germany
Language :
Title :
Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars
Publication date :
Event name :
Intern. Conference on Graph Transformation ( ICGT' 10)
Event place :
Enschede, Netherlands
Event date :
Sep. 2010
Main work title :
Graph Transformation
Publisher :
Springer Verlag
Pages :
Peer reviewed :
Peer reviewed
Commentary :
6372 Graph Transformation


Number of views
43 (4 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
Scopus citations®
without self-citations


Similar publications

Contact ORBilu