Lesegruppe/2018-11-07
< Lesegruppe(Weitergeleitet von Lesegruppe/2018-XX-XX)
| 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 |
| BibTeX | |
| 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. |