Reference:
, "The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 33-34, ACM, 2012.
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.
Links:
@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.}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser