Abstract
A key challenge in model-driven software engineering is the evolution of metamodels and the required effort in migrating their instance models. Even though there already exist both theoretical work and tool support for coupled evolution of metamodels and models, the existing approaches lack expressive power for defining metamodel-specific coupled changes or are too generic to permit assurance of metamodel conformance. In this paper, we devise a mechanism to define and execute coupled evolutions of metamodels and instance models based on graph transformations. We target the Eclipse Modeling Framework (EMF) and achieve the coupling of changes by bridging the conceptual gap between the metamodel and the instance model levels using a wrapper for EMF instance models. Coupled evolutions are then defined by means of dynamically typed graph transformation rules. This specification approach is expressive as it allows the developer to model customized migration rules, which are pivotal for metamodel-specific changes. We present static and run-time consistency checks and show how to decouple the execution of migrations. Our implementation consists of a wrapper package that is used in conjunction with the model transformation tool Henshin.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Herrmannsdoerfer, M., Benz, S., Juergens, E.: COPE - automating coupled evolution of metamodels and models. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol. 5653, pp. 52–76. Springer, Heidelberg (2009), doi:10.1007/978-3-642-03013-0_4
Herrmannsdoerfer, M., Benz, S., Juergens, E.: Automatability of coupled evolution of metamodels and models in practice. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 645–659. Springer, Heidelberg (2008), doi:10.1007/978-3-540-87875-9_45
Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2009)
Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010), doi:10.1007/978-3-642-16145-2_9
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: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 425–439. Springer, Heidelberg (2006), doi:10.1007/11880240_30
Rozenberg, G. (ed.): Handbook of graph grammars and computing by graph transformation. foundations, vol. I. World Scientific Publishing Co., Inc. (1997)
Biermann, E., Ehrig, H., Ermel, C., Golas, U., Taentzer, G.: Parallel independence of amalgamated graph transformations applied to model transformation. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 121–140. Springer, Heidelberg (2010), doi:10.1007/978-3-642-17322-6_7
Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Model migration with epsilon flock. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 184–198. Springer, Heidelberg (2010), doi:10.1007/978-3-642-13688-7_13
Mantz, F., Jurack, S., Taentzer, G.: Graph transformation concepts for meta-model evolution guaranteeing permanent type conformance throughout model migration. In: Schürr, A., Varró, D., Varró, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 3–18. Springer, Heidelberg (2012), doi:10.1007/978-3-642-34176-2_3
Taentzer, G., Mantz, F., Lamo, Y.: Co-transformation of graphs and type graphs with application to model co-evolution. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 326–340. Springer, Heidelberg (2012), doi:10.1007/978-3-642-33654-6_22
Edapt: Project homepage: http://www.eclipse.org/edapt
Herrmannsdoerfer, M., Ratiu, D.: Limitations of automating model migration in response to metamodel adaptation. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 205–219. Springer, Heidelberg (2010), doi:10.1007/978-3-642-12261-3_20
Di Ruscio, D., Iovino, L., Pierantonio, A.: What is needed for managing co-evolution in MDE? In: IWMCP 2011, pp. 30–38. ACM (2011), doi:10.1145/2000410.2000416
Hößler, J., Soden, M., Eichler, H.: Coevolution of models, metamodels and transformations. In: Models and Human Reasoning, pp. 129–154. Wissenschaft und Technik Verlag (2005)
Sprinkle, J., Karsai, G.: A domain-specific visual language for domain model evolution. Journal of Visual Languages & Computing 15(3-4), 291–307 (2004), doi:10.1016/j.jvlc.2004.01.006
Heckel, R., Küster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161–176. Springer, Heidelberg (2002), doi:10.1007/3-540-45832-8_14
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krause, C., Dyck, J., Giese, H. (2013). Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. In: Duddy, K., Kappel, G. (eds) Theory and Practice of Model Transformations. ICMT 2013. Lecture Notes in Computer Science, vol 7909. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38883-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-38883-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38882-8
Online ISBN: 978-3-642-38883-5
eBook Packages: Computer ScienceComputer Science (R0)