{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T00:45:19Z","timestamp":1790469919094,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415326","type":"print"},{"value":"9783642415333","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_16","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:40:59Z","timestamp":1379605259000},"page":"254-270","source":"Crossref","is-referenced-by-count":13,"title":["Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florian","family":"Mantz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Arendt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"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)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"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.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Arendt","year":"2010","unstructured":"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, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010), \n                    \n                      http:\/\/www.eclipse.org\/modeling\/emft\/henshin"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Cali, A., Calvanese, D., Giacomo, G.D.: Reasoning on UML Class Diagrams. Artifical Intelligence\u00a0168, 70\u2013118 (2005)","journal-title":"Artifical Intelligence"},{"key":"16_CR5","unstructured":"B\u00fcttner, F., Bauerdick, H., Gogolla, M.: Towards Transformation of Integrity Constraints and Database States. In: DEXA 2005, pp. 823\u2013828. IEEE (August 2005)"},{"key":"16_CR6","unstructured":"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.\u00a0104. CEUR-WS.org (2004)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: EDOC 2008, pp. 222\u2013231. IEEE (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"16_CR8","unstructured":"Eclipse Modeling Framework: Project Web Site, \n                    \n                      http:\/\/www.eclipse.org\/emf\/"},{"key":"16_CR9","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)"},{"key":"16_CR10","unstructured":"Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional (2010)"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and Systems Modeling"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-19440-5_10","volume-title":"Software Language Engineering","author":"M. Herrmannsdoerfer","year":"2011","unstructured":"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.\u00a06563, pp. 163\u2013182. Springer, Heidelberg (2011)"},{"key":"16_CR13","unstructured":"Hoffmann, B., Minas, M.: Defining models - meta models versus graph grammars. ECEASST\u00a029 (2010)"},{"key":"16_CR14","unstructured":"Hoffmann, B., Minas, M.: Generating instance graphs from class diagrams with adaptive star grammars. ECEASST\u00a039 (2011)"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol.\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25032-3_1","volume-title":"Formal Methods, Foundations and Applications","author":"H. K\u00f6nig","year":"2011","unstructured":"K\u00f6nig, H., L\u00f6we, M., Schulz, C.: Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol.\u00a07021, pp. 1\u201315. Springer, Heidelberg (2011)"},{"issue":"2","key":"16_CR17","first-page":"339","volume":"17","author":"L. Lengyel","year":"2005","unstructured":"Lengyel, L., Levendovszky, T., Charaf, H.: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybernetica\u00a017(2), 339\u2013357 (2005)","journal-title":"Acta Cybernetica"},{"key":"16_CR18","unstructured":"Mantz, F., Taentzer, G., Lamo, Y.: Well-formed Model Co-evolution with Customizable Model Migration (to appear in ECEASST)"},{"key":"16_CR19","unstructured":"Mantz, F., Taentzer, G., Lamo, Y.: Co-Transformation of Type and Instance Graphs Supporting Merging of Types with Retyping. In: GCM 2012, pp. 47\u201358 (September 2012), \n                    \n                      gcm2012.imag.fr\/proceedingsGCM2012.pdf"},{"key":"16_CR20","unstructured":"Object Management Group: Meta-Object Facility Specification (January 2006), \n                    \n                      http:\/\/www.omg.org\/spec\/MOF\/2.0\/"},{"key":"16_CR21","unstructured":"Object Management Group: Object Constraint Language Specification (May 2006), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-13688-7_13","volume-title":"Theory and Practice of Model Transformations","author":"L. Rose","year":"2010","unstructured":"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.\u00a06142, pp. 184\u2013198. Springer, Heidelberg (2010)"},{"issue":"4","key":"16_CR23","first-page":"422","volume":"81","author":"A. Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. JLAP\u00a081(4), 422\u2013457 (2012)","journal-title":"JLAP"},{"issue":"3-4","key":"16_CR24","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.jvlc.2004.01.006","volume":"15","author":"J. Sprinkle","year":"2004","unstructured":"Sprinkle, J., Karsai, G.: A Domain-Specific Visual Language for Domain Model Evolution. Journal of Visual Languages and Computing\u00a015(3-4), 291\u2013307 (2004)","journal-title":"Journal of Visual Languages and Computing"},{"key":"16_CR25","unstructured":"Taentzer, G.: Instance generation from type graphs with arbitrary multiplicities. ECEASST\u00a047 (2012)"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-33654-6_22","volume-title":"Graph Transformations","author":"G. Taentzer","year":"2012","unstructured":"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.\u00a07562, pp. 326\u2013340. Springer, Heidelberg (2012)"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"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), \n                    \n                      www.uni-marburg.de\/fb12\/forschung\/berichte\/berichteinformtk","DOI":"10.1007\/978-3-642-33654-6_22"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:35:40Z","timestamp":1558092940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}