| 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
|
| PDF
|
|
| 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.
|
