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 wrt. functional behavior and correctness, a formal foundation is needed. In this paper, we define EMF model transformations as a special kind of typed graph transformations using node type inheritance. Containment constraints of EMF model transformations are translated to a special kind of EMF model transformation rules such that their application leads to consistent transformation results only. Thus, we identify a kind of EMF model transformations which behave like algebraic graph transformations. As a consequence, the rich theory of algebraic graph transformation can be applied to these EMF model transformations to show functional behavior and correctness. We illustrate our approach by selected refactorings of simplified statechart models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGG Homepage, http://tfs.cs.tu-berlin.de/agg
Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. In: Proc. 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova, Italy (October 2006)
Boronat, A.: MOMENT: A Formal Framework for Model Management. PhD thesis, Universtat Politècnica de València (2007)
Eclipse Consortium. Eclipse Modeling Framework (EMF) – Version 2.4 (2008), http://www.eclipse.org/emf
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
Eclipse model development tools (2007), http://www.eclipse.org/modeling/mdt
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Proc. Workshop Model Transformations in Practice (at MoDELS 2005), Montego Bay, Jamaica (2005)
Lawley, M., Steel, J.: Practical Declarative Model Transformation With Tefkat. In: Proc. Workshop Model Transformation in Practice (at MoDELS 2005) (2005)
Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and System Modeling 6(3), 269–285 (2007)
Mens, T., Tourwé, T.: A survey of software refactoring. Transactions on Software Engineering 30(2), 126–139 (2004)
Rensink, A., Taentzer, G.: Ensuring structural constraints in graph-based models with type inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 64–79. Springer, Heidelberg (2005)
Varró, D., Balogh, A.: The model transformation language of the viatra2 framework. Sci. Comput. Program 68(3), 214–234 (2007)
MOF 2.0 / XMI Mapping Specification (2008), http://www.omg.org/technology/documents/formal/xmi.htm
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Biermann, E., Ermel, C., Taentzer, G. (2008). Precise Semantics of EMF Model Transformations by Graph Transformation. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)