Formal foundation of consistent EMF model transformations by algebraic graph transformation (bibtex)

by Biermann, Enrico, Ermel, Claudia and Taentzer, Gabriele

Abstract:

Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (\EMF).\ Several \EMF\ model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations with respect to functional behavior and correctness, a formal foundation is needed. In this paper, we define consistent \EMF\ model transformations as a restricted class of typed graph transformations using node type inheritance. Containment constraints of \EMF\ model transformations are translated to a special kind of graph transformation rules such that their application leads to consistent transformation results only. Thus, consistent \EMF\ model transformations behave like algebraic graph transformations and the rich theory of algebraic graph transformation can be applied to these \EMF\ model transformations to show functional behavior and correctness. Furthermore, we propose parallel graph transformation as a suitable framework for modeling \EMF\ model transformations with multi-object structures. Rules extended by multi-object structures can specify a flexible number of recurring structures. The actual number of recurring structures is dependent on the application context of such a rule. We illustrate our approach by selected refactorings of simplified statechart models. Finally, we discuss the implementation of our concepts in a tool environment for \EMF\ model transformations.

Reference:

Formal foundation of consistent EMF model transformations by algebraic graph transformation (Biermann, Enrico, Ermel, Claudia and Taentzer, Gabriele), In Software and Systems Modeling, Springer, volume 11, 2012.

Bibtex Entry:

@article{Biermann2011, abstract = {Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework ({\{}EMF).{\}} Several {\{}EMF{\}} model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations with respect to functional behavior and correctness, a formal foundation is needed. In this paper, we define consistent {\{}EMF{\}} model transformations as a restricted class of typed graph transformations using node type inheritance. Containment constraints of {\{}EMF{\}} model transformations are translated to a special kind of graph transformation rules such that their application leads to consistent transformation results only. Thus, consistent {\{}EMF{\}} model transformations behave like algebraic graph transformations and the rich theory of algebraic graph transformation can be applied to these {\{}EMF{\}} model transformations to show functional behavior and correctness. Furthermore, we propose parallel graph transformation as a suitable framework for modeling {\{}EMF{\}} model transformations with multi-object structures. Rules extended by multi-object structures can specify a flexible number of recurring structures. The actual number of recurring structures is dependent on the application context of such a rule. We illustrate our approach by selected refactorings of simplified statechart models. Finally, we discuss the implementation of our concepts in a tool environment for {\{}EMF{\}} model transformations.}, author = {Biermann, Enrico and Ermel, Claudia and Taentzer, Gabriele}, doi = {10.1007/s10270-011-0199-7}, issn = {16191366}, journal = {Software and Systems Modeling}, keywords = {Consistent EMF models,Graph transformation,Model transformation,Rule amalgamation,moca}, mendeley-tags = {moca}, number = {2}, pages = {227--250}, publisher = {Springer}, title = {{Formal foundation of consistent EMF model transformations by algebraic graph transformation}}, volume = {11}, year = {2012} }

Powered by bibtexbrowser