The MDELab tool framework for the development of correct model transformations with triple graph grammars

Authors:
Stephan Hildebrandt;Leen Lambers;Holger Giese
Affiliations:
Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany;Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany;Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany
Venue:
Proceedings of the First Workshop on the Analysis of Model Transformations
Year:
2012

Citing 3
Cited 0

Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Automatic conformance testing of optimized triple graph grammar implementations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Towards automatic verification of behavior preservation for model transformation via invariant checking

ICGT'12 Proceedings of the 6th international conference on Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model transformations play one of the key roles in Model-Driven Engineering (MDE). Therefore, their correctness is of major importance. Triple Graph Grammars[6](TGGs) are an important representative of a relational model transformation specification technique for describing bidirectional transformations. A TGG specifies relations between source and target models, but cannot be executed directly to perform a corresponding model transformation. Instead, a TGG Implementation has to be derived, which must be conform to the TGG, i.e., the target model it produces with derived operational rules for a given source model must also be a valid target model for that source model according to the TGG. TGG implementations can be generated from the TGG specification for performing forward and backward model transformations, but also to perform model integration as well as synchronization.