{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T23:35:21Z","timestamp":1783553721389,"version":"3.55.0"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,4,25]],"date-time":"2012-04-25T00:00:00Z","timestamp":1335312000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10270-012-0248-x","type":"journal-article","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T05:00:48Z","timestamp":1335243648000},"page":"239-272","source":"Crossref","is-referenced-by-count":45,"title":["A fundamental approach to model versioning based on graph modifications: from theory to implementation"],"prefix":"10.1007","volume":"13","author":[{"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philip","family":"Langer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,4,25]]},"reference":[{"key":"248_CR1","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Proceedings of the International Conference on the Unififed Modeling Language (UML\u201903). LNCS, vol. 2863, pp. 2\u201317. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"248_CR2","unstructured":"Altmanninger, K., Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Why Model versioning research is needed!? An experience report. In: Proceedings of the Joint MoDSE-MCCM 2009 Workshop at MoDELS\u201909 (2009)"},{"issue":"3","key":"248_CR3","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1108\/17440080910983556","volume":"5","author":"K. Altmanninger","year":"2009","unstructured":"Altmanninger K., Seidl M., Wimmer M.: A survey on model versioning approaches. Int. J. Web Inf. Syst. 5(3), 271\u2013304 (2009)","journal-title":"Int. J. Web Inf. Syst."},{"key":"248_CR4","unstructured":"Barrett, S., Chalin, P., Butler, G.: Model merging falls short of software engineering needs. In: Proceedings of the Workshop on Model-Driven Software Evolution (MoDSE) at MoDELS\u201908 (2008)"},{"key":"248_CR5","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of VERIFY, Workshop at Federated Logic Conferences (FLoC) (2002)"},{"key":"248_CR6","first-page":"53","volume-title":"Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28\u2013October 3. Proceedings. Lecture Notes in Computer Science, vol. 5301","author":"E. Biermann","year":"2008","unstructured":"Biermann E., Ermel C., Taentzer G.: Precise semantics of EMF model transformations by graph transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds) Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28\u2013October 3. Proceedings. Lecture Notes in Computer Science, vol. 5301, pp. 53\u201367. Springer, Berlin (2008)"},{"key":"248_CR7","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental detection of model inconsistencies based on model operations. In: Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE\u201909). LNCS, vol. 5565, pp. 32\u201346. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02144-2_8"},{"key":"248_CR8","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proceedings of the 30th International Conference on Software Engineering (ICSE\u201908), pp. 511\u2013520. ACM, New York (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"248_CR9","unstructured":"Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kargl, H.: Adaptable model versioning in action. In: Modellierung 2010. LNI, vol. 161, GI (2010)"},{"key":"248_CR10","doi-asserted-by":"crossref","unstructured":"Brosch, P., Kargl, H., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kappel, G.: Conflicts as first-class entities: a UML profile for model versioning. In: Proceedings of the Models in Software Engineering Workshops at MODELS\u201910, Reports and Revised Selected Papers. LNCS, vol. 6627, pp. 184\u2013193. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21210-9_18"},{"key":"248_CR11","doi-asserted-by":"crossref","unstructured":"Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Colex: a web-based collaborative conflict lexicon. In: Proceedings of the 1st International Workshop on Model Comparison in Practice at TOOLS\u201910, pp. 42\u201349. ACM, New York (2010)","DOI":"10.1145\/1826147.1826156"},{"key":"248_CR12","unstructured":"Brun, C., Pierantonio, A.: Model differences in the Eclipse Modeling framework. UPGRADE Eur. J. Inform Prof. (2008)"},{"key":"248_CR13","volume-title":"Eclipse Modeling Framework (The Eclipse Series)","author":"F. Budinsky","year":"2003","unstructured":"Budinsky F., Steinberg D., Merks E., Ellersick R., Grose T.J.: Eclipse Modeling Framework (The Eclipse Series). Addison-Wesley, Reading (2003)"},{"key":"248_CR14","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ruscio, D., Pierantonio, A.: Managing model conflicts in distributed development. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS\u201908). LNCS, vol. 5301, pp. 311\u2013325. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_23"},{"issue":"2","key":"248_CR15","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/280277.280280","volume":"30","author":"R. Conradi","year":"1998","unstructured":"Conradi R., Westfechtel B.: Version models for software configuration management. ACM Comput. Surv. 30(2), 232\u2013282 (1998)","journal-title":"ACM Comput. Surv."},{"key":"248_CR16","doi-asserted-by":"crossref","unstructured":"De Lucia, A. Fasano, F., Oliveto, R., Tortora, G.: ADAMS: advanced artefact management system. In: Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR\u201906), pp. 349\u2013350. IEEE Computer Society, New York (2006)","DOI":"10.1109\/CSMR.2006.7"},{"issue":"11","key":"248_CR17","doi-asserted-by":"crossref","first-page":"1007","DOI":"10.1002\/spe.986","volume":"40","author":"A. De Lucia","year":"2010","unstructured":"De Lucia A., Fasano F., Oliveto R., Tortora G.: Fine-grained management of software artefacts: the ADAMS system. J. Softw. Pract. Exp. 40(11), 1007\u20131034 (2010)","journal-title":"J. Softw. Pract. Exp."},{"key":"248_CR18","unstructured":"Del Fabro, M.D., B\u00e9zivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. In: Proceedings of the 1re Journe sur l\u2019Ingnierie Dirige par les Modles (IDM\u201905) (2005)"},{"key":"248_CR19","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Czarnecki, K., Antkiewicz, M.: Model-versioning-in-the-large: Algebraic foundations and the tile notation. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM\u201909) at ICSE\u201909, pp. 7\u201312. IEEE Computer Society, New York (2009)","DOI":"10.1109\/CVSM.2009.5071715"},{"key":"248_CR20","unstructured":"Eclipse Consortium: Eclipse Modeling Framework (EMF)\u2014Version 2.5. http:\/\/www.eclipse.org\/emf (2011)"},{"key":"248_CR21","unstructured":"Eclipse Consortium: EMF Validation Framework. http:\/\/www.eclipse.org\/modeling\/emf\/?project=validation#validation (2011)"},{"key":"248_CR22","volume-title":"Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Berlin (2006)"},{"key":"248_CR23","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Taentzer, G.: A formal resolution strategy for operation-based conflicts in model versioning using graph modifications. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE\u201911). LNCS, vol. 6603, pp. 202\u2013216. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-19811-3_15"},{"key":"248_CR24","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Taentzer, G.: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (Extended Version). Technical Report 2011\/1, TU Berlin (2011)","DOI":"10.1007\/978-3-642-19811-3_15"},{"issue":"2","key":"248_CR25","first-page":"5","volume":"5","author":"L. Fuentes-Fern\u00e1ndez","year":"2004","unstructured":"Fuentes-Fern\u00e1ndez L., Vallecillo-Moreno A.: An introduction to UML profiles. UPGRADE Eur. J. Inform. Prof. 5(2), 5\u201313 (2004)","journal-title":"UPGRADE Eur. J. Inform. Prof."},{"issue":"2","key":"248_CR26","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel A., Pennemann K.-H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"248_CR27","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"2003","unstructured":"Jensen K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Berlin (2003)"},{"key":"248_CR28","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: Proceedings of the 26th International Conference on Automated Software Engineering (ASE\u201911). IEEE Society, New York (2011)","DOI":"10.1109\/ASE.2011.6100050"},{"key":"248_CR29","unstructured":"Kelter, U., Wehren, J., Niere, J.: A generic difference algorithm for UML models. In: Proceedings of Software Engineering 2005. LNI, vol. 64, pp. 105\u2013116, GI (2005)"},{"key":"248_CR30","doi-asserted-by":"crossref","unstructured":"K\u00f6gel, M.: Towards software configuration management for unified models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models at ICSE\u201908, pp. 19\u201324. ACM, New York (2008)","DOI":"10.1145\/1370152.1370158"},{"key":"248_CR31","doi-asserted-by":"crossref","unstructured":"K\u00f6gel, M., Helming, J.: EMFStore: a model repository for EMF models. In: Proceedings of the 32nd International Conference on Software Engineering, vol. 2 (ICSE\u201910), pp. 307\u2013308. ACM, New York (2010)","DOI":"10.1145\/1810295.1810364"},{"key":"248_CR32","doi-asserted-by":"crossref","unstructured":"Kolovos, D.: Establishing correspondences between models with the epsilon comparison language. In: Proceedings of the 5th European Conference on Model Driven Architecture\u2014Foundations and Applications (ECMDA-FA\u201909). LNCS, vol. 5562, pp. 146\u2013157. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_11"},{"key":"248_CR33","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Gerth, C., Engels, G.: Dependent and conflicting change operations of process models. In: Proceedings of the 5th European Conference on Model Driven Architecture\u2014Foundations and Applications (ECMDA-FA\u201909). LNCS, vol. 5562, pp. 158\u2013173. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_12"},{"key":"248_CR34","doi-asserted-by":"crossref","unstructured":"Langer, P., Wieland, K., Wimmer, M., Cabot, J.: From UML profiles to EMF profiles and beyond. In: Proceedings of the 49th International Conference on Objects, Models, Components and Patterns (TOOLS\u201911). LNCS, vol. 6705, pp. 52\u201367. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21952-8_6"},{"key":"248_CR35","volume-title":"Comparing and merging UML models in IBM Rational Software Architect: Part 3\u2014a deeper understanding of model merging","author":"K. Letkeman","year":"2005","unstructured":"Letkeman K.: Comparing and merging UML models in IBM Rational Software Architect: Part 3\u2014a deeper understanding of model merging. Technical report, IBM Rational (2005)"},{"key":"248_CR36","doi-asserted-by":"crossref","unstructured":"Lippe, E., van Oosterom, N.: Operation-based merging. In: ACM SIGSOFT Symposium on Software Development Environment, pp. 78\u201387. ACM, New York (1992)","DOI":"10.1145\/142868.143753"},{"key":"248_CR37","doi-asserted-by":"crossref","unstructured":"Mehra, A., Grundy, J., Hosking, J.: A generic approach to supporting diagram differencing and merging for collaborative design. In: Proceedings of the 20th International Conference on Automated Software Engineering (ASE\u201905), pp. 204\u2013213. ACM, New York (2005)","DOI":"10.1145\/1101908.1101940"},{"issue":"5","key":"248_CR38","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T. Mens","year":"2002","unstructured":"Mens T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"248_CR39","doi-asserted-by":"crossref","unstructured":"Mens, T., van der Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS\u201906). LNCS, vol. 4199, pp. 200\u2013214. Springer, Berlin (2006)","DOI":"10.1007\/11880240_15"},{"issue":"2","key":"248_CR40","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/jvlc.1995.1010","volume":"6","author":"K. Misue","year":"1995","unstructured":"Misue K., Eades P., Lai W., Sugiyama K.: Layout adjustment and the mental map. J. Vis. Lang. Comput. 6(2), 183\u2013210 (1995)","journal-title":"J. Vis. Lang. Comput."},{"key":"248_CR41","doi-asserted-by":"crossref","unstructured":"Mougenot, A., Blanc, X., Gervais, M.-P.: D-Praxis: a peer-to-peer collaborative model editing framework. In: Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS). LNCS, vol. 3442, pp. 16\u201329. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02164-0_2"},{"key":"248_CR42","doi-asserted-by":"crossref","unstructured":"Murta, L., Corr\u00eaa, C., Prud\u00eancio, J.G., Werner, C.: Towards Odyssey-VCS 2: improvements over a UML-based version control system. In: Proceedings of the 2nd International Workshop on Comparison and Versioning of Software Models at ICSE\u201908, pp. 25\u201330. ACM, New York (2008)","DOI":"10.1145\/1370152.1370159"},{"key":"248_CR43","unstructured":"Object Management Group (OMG): Meta Object Facility, Version 2.0. http:\/\/www.omg.org\/spec\/MOF\/2.0\/PDF\/ (2006)"},{"key":"248_CR44","unstructured":"Object Management Group (OMG): OCL Specification\u2014Version 2.2. http:\/\/www.omg.org\/spec\/OCL\/ (2010)"},{"key":"248_CR45","doi-asserted-by":"crossref","unstructured":"Ohst, D., Welle, M., Kelter, U.: Differences between Versions of UML Diagrams. In: Proceedings of the 9th European Software Engineering Conference (ESEC\u201903), pp. 227\u2013236. ACM, New York (2003)","DOI":"10.1145\/940100.940102"},{"key":"248_CR46","doi-asserted-by":"crossref","unstructured":"Pottinger, R., Bernstein, P.A.: Merging models based on given correspondences. In: Proceedings of the International Conference on Very Large Data Bases (VLDB\u201903), pp. 826\u2013873. VLDB Endowment (2003)","DOI":"10.1016\/B978-012722442-8\/50081-1"},{"key":"248_CR47","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Model\/analyzer: a tool for detecting, visualizing and fixing design errors in UML. In: Proceedings of the 25th International Conference on Automated Software Engineering (ASE\u201910), pp. 347\u2013348. ACM, New York (2010)","DOI":"10.1145\/1858996.1859069"},{"key":"248_CR48","doi-asserted-by":"crossref","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A category-theoretical approach to the formalisation of version control in MDE. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE\u201909). LNCS, vol. 5503, pp. 64\u201378. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00593-0_5"},{"key":"248_CR49","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: Proceedings of the International Conference on Requirements Engineering (RE\u201907), pp. 221\u2013230. IEEE, New York (2007)","DOI":"10.1109\/RE.2007.18"},{"key":"248_CR50","doi-asserted-by":"crossref","unstructured":"Schneider, C., Z\u00fcndorf, A., Niere, J.: CoObRA\u2014a small step for development tools to collaborative environments. In: Workshop on Directions in Software Engineering Environments at ICSE\u201904 (2004)","DOI":"10.1049\/ic:20040206"},{"key":"248_CR51","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict detection for model versioning based on graph modifications. In: Proceedings of the International Conference on Graph Transformations (ICGT\u201910). LNCS, vol. 6372, pp. 171\u2013186. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15928-2_12"},{"key":"248_CR52","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE\u201905). LNCS, vol. 3442, pp. 64\u201379. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"248_CR53","doi-asserted-by":"crossref","unstructured":"Westfechtel, B.: A formal approach to three-way merging of EMF models. In: Proceedings of the Workshop on Model Comparison in Practice (IWMCP) at TOOLS\u201910, pp. 31\u201341. ACM, New York (2010)","DOI":"10.1145\/1826147.1826155"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0248-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0248-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0248-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T15:54:05Z","timestamp":1561650845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0248-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,25]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["248"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0248-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,25]]}}}