Henshin: Advanced concepts and tools for in-place EMF model transformations (bibtex)
by Arendt, Thorsten, Biermann, Enrico, Jurack, Stefan, Krause, Christian and Taentzer, Gabriele
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.
Reference:
Henshin: Advanced concepts and tools for in-place EMF model transformations (Arendt, Thorsten, Biermann, Enrico, Jurack, Stefan, Krause, Christian and Taentzer, Gabriele), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 6394 LNCS, 2010.
Bibtex Entry:
@inproceedings{ABJ+10,
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.},
author = {Arendt, Thorsten and Biermann, Enrico and Jurack, Stefan and Krause, Christian and Taentzer, Gabriele},
booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
doi = {10.1007/978-3-642-16145-2_9},
isbn = {3642161448},
issn = {03029743},
keywords = {moca_pw},
mendeley-tags = {moca_pw},
number = {PART 1},
pages = {121--135},
publisher = {Springer},
series = {LNCS},
title = {{Henshin: Advanced concepts and tools for in-place EMF model transformations}},
volume = {6394 LNCS},
year = {2010}
}
Powered by bibtexbrowser