direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars
Zitatschlüssel HEOG10
Autor Hermann, Frank and Ehrig, Hartmut and Orejas , Fernando and Golas, Ulrike
Buchtitel Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10)
Seiten 155–170
Jahr 2010
ISBN ISBN 978-3-642-15927-5
Jahrgang 6372
Herausgeber Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A.
Serie LNCS
Zusammenfassung 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 - especially local confluence - is missing up to now. In order to close this gap we automatically generate from the given triple rules suitable forward translation rules, including translation attributes keeping track which parts of the source graph have been translated already. The first main result shows the equivalence of model transformation sequences in the sense of TGGs with forward translation sequences based on the double pushout (DPO) approach. This allows to apply critical pair analysis in the sense of the DPO-approach and corresponding tool support by the tool AGG. However, we do not need general local confluence, because confl uence 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.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe