Aus SDQ-Wiki
Zur Navigation springen Zur Suche springen
Datum 2018/10/24 11:30:00 – 2018/10/24 12:30:00
Ort Gebäude 50.34, Raum 348
Vortragende(r) Sandro Koch
Forschungsgruppe QSE
Titel Henshin: advanced concepts and tools for in-place EMF model transformations
Autoren Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer
URL https://link.springer.com/chapter/10.1007/978-3-642-16145-2 9
Abstract The Eclipse Modeling Framework (EMF) provides modeling and code generation facilities for Java applications based on structured data models. Henshin is a new language and associated tool set for in-place transformations of EMF models. The Henshin transformation language uses pattern-based rules on the lowest level, which can be structured into nested transformation units with well-defined operational semantics. So-called amalgamation units are a special type of transformation units that provide a forall-operator for pattern replacement. For all of these concepts, Henshin offers a visual syntax, sophisticated editing functionalities, execution and analysis tools. The Henshin transformation language has its roots in attributed graph transformations, which offer a formal foundation for validation of EMF model transformations. The transformation concepts are demonstrated using two case studies: EMF model refactoring and meta-model evolution.