Abstract
Modeling languages tailored to specific application domains promise to increase the productivity and quality of model-driven software development. Nevertheless due to, for example, evolving requirements, modeling languages, and their meta-models evolve which means that existing models have to be migrated accordingly. In our approach, such co-evolutions are specified as related graph transformations ensuring well-typed model migration results. Model migrations are specified by transformation rules that can be automatically deduced from given meta-model evolution rules and further customized to special needs. Up to now, meta-model constraints have not been taken into account. In this paper, we extend our approach to handle multiplicity constraints and illustrate this extension using several examples.
This work was partially funded by NFR project 194521 (FORMGRID).
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
Alanen, M., Porres, I.: A relation between context-free grammars and meta object facility metamodels. Tech. Rep. 606, TUCS Turku Center for Computer Science (March 2003)
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: Uml2alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436–450. Springer, Heidelberg (2007)
Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformation. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010), http://www.eclipse.org/modeling/emft/henshin
Berardi, D., Cali, A., Calvanese, D., Giacomo, G.D.: Reasoning on UML Class Diagrams. Artifical Intelligence 168, 70–118 (2005)
Büttner, F., Bauerdick, H., Gogolla, M.: Towards Transformation of Integrity Constraints and Database States. In: DEXA 2005, pp. 823–828. IEEE (August 2005)
Cadoli, M., Calvanese, D., Mancini, T.: Finite satisfiability of UML class diagrams by Constraint Programming. In: Proc. of the 2004 International Workshop on Description Logics (DL 2004), vol. 104. CEUR-WS.org (2004)
Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: EDOC 2008, pp. 222–231. IEEE (2008)
Eclipse Modeling Framework: Project Web Site, http://www.eclipse.org/emf/
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)
Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional (2010)
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling 4(4), 386–398 (2005)
Herrmannsdoerfer, M., Vermolen, S., Wachsmuth, G.: An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 163–182. Springer, Heidelberg (2011)
Hoffmann, B., Minas, M.: Defining models - meta models versus graph grammars. ECEASST 29 (2010)
Hoffmann, B., Minas, M.: Generating instance graphs from class diagrams with adaptive star grammars. ECEASST 39 (2011)
Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256–290 (2002)
König, H., Löwe, M., Schulz, C.: Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol. 7021, pp. 1–15. Springer, Heidelberg (2011)
Lengyel, L., Levendovszky, T., Charaf, H.: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybernetica 17(2), 339–357 (2005)
Mantz, F., Taentzer, G., Lamo, Y.: Well-formed Model Co-evolution with Customizable Model Migration (to appear in ECEASST)
Mantz, F., Taentzer, G., Lamo, Y.: Co-Transformation of Type and Instance Graphs Supporting Merging of Types with Retyping. In: GCM 2012, pp. 47–58 (September 2012), gcm2012.imag.fr/proceedingsGCM2012.pdf
Object Management Group: Meta-Object Facility Specification (January 2006), http://www.omg.org/spec/MOF/2.0/
Object Management Group: Object Constraint Language Specification (May 2006), http://www.omg.org/spec/OCL/2.0/
Rose, L., Kolovos, D., 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)
Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. JLAP 81(4), 422–457 (2012)
Sprinkle, J., Karsai, G.: A Domain-Specific Visual Language for Domain Model Evolution. Journal of Visual Languages and Computing 15(3-4), 291–307 (2004)
Taentzer, G.: Instance generation from type graphs with arbitrary multiplicities. ECEASST 47 (2012)
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)
Taentzer, G., Mantz, F., Lamo, Y.: Co-Transformation of Graphs and Type Graphs with Application to Model Co-Evolution: Long Version. Tech. rep., Dep. of Mathematics and Computer Science, University of Marburg, Germany (2012), www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk
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
Taentzer, G., Mantz, F., Arendt, T., Lamo, Y. (2013). Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds) Model-Driven Engineering Languages and Systems. MODELS 2013. Lecture Notes in Computer Science, vol 8107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41533-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-41533-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41532-6
Online ISBN: 978-3-642-41533-3
eBook Packages: Computer ScienceComputer Science (R0)