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

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.