by Stephan Hildebrandt, Leen Lambers, Holger Giese
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.
Reference:
The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars (Stephan Hildebrandt, Leen Lambers, Holger Giese), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, 2012.
Bibtex Entry:
@InProceedings{HLG12a,
AUTHOR = {Hildebrandt, Stephan and Lambers, Leen and Giese, Holger},
TITLE = {{The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars}},
YEAR = {2012},
BOOKTITLE = {MoDELS Workshop on Analysis of Model Transformation},
PAGES = {33-34},
EDITOR = {Dingel, Juergen and Lúcio, Levi and Vangheluwe, Hans and Varró, Daniel},
PUBLISHER = {ACM},
PDF = {uploads/pdf/HLG12a.pdf},
OPTacc_pdf = {},
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.}
}