{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:50:42Z","timestamp":1768445442232,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,8,12]],"date-time":"2016-08-12T00:00:00Z","timestamp":1470960000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10270-016-0552-y","type":"journal-article","created":{"date-parts":[[2016,8,12]],"date-time":"2016-08-12T03:59:04Z","timestamp":1470974344000},"page":"753-777","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["A framework for relating syntactic and semantic model differences"],"prefix":"10.1007","volume":"17","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[]},{"given":"Jan Oliver","family":"Ringert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,12]]},"reference":[{"key":"552_CR1","doi-asserted-by":"crossref","unstructured":"Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P., Merle, P.: Feature model differences. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science, vol. 7328, pp. 629\u2013645. Springer (2012)","DOI":"10.1007\/978-3-642-31095-9_41"},{"key":"552_CR2","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) Proceedings of the 6th International Conference on the UML. Lecture Notes in Computer Science, vol. 2863, pp. 2\u201317. Springer (2003)","DOI":"10.1007\/978-3-540-45221-8_2"},{"issue":"3","key":"552_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. IJWIS 5(3), 271\u2013304 (2009)","journal-title":"IJWIS"},{"issue":"1","key":"552_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10515-006-0002-0","volume":"14","author":"T Apiwattanapong","year":"2007","unstructured":"Apiwattanapong, T., Orso, A., Harrold, M.J.: JDiff: A differencing technique and tool for object-oriented programs. Autom. Softw. Eng. 14(1), 3\u201336 (2007)","journal-title":"Autom. Softw. Eng."},{"key":"552_CR5","doi-asserted-by":"crossref","unstructured":"Barrett, S., Chalin, P., Butler, G.: Table-driven detection and resolution of operation-based merge conflicts with mirador. In: France, R.B., K\u00fcster, J.M., Bordbar, B., Paige, R.F. (eds.) Proceedings of the 7th European Conference on Modelling Foundations and Applications (ECMFA). Lecture Notes in Computer Science, vol. 6698, pp. 329\u2013344. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_23"},{"issue":"3","key":"552_CR6","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jss.2005.05.001","volume":"79","author":"LC Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., O\u2019Sullivan, L., S\u00f3wka, M.M.: Automated impact analysis of UML models. J. Syst. Softw. 79(3), 339\u2013352 (2006)","journal-title":"J. Syst. Softw."},{"issue":"9","key":"552_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.5381\/jot.2007.6.9.a9","volume":"6","author":"A Cicchetti","year":"2007","unstructured":"Cicchetti, A., Ruscio, D.D., Pierantonio, A.: A metamodel independent approach to difference representation. J. Object Technol. 6(9), 165\u2013185 (2007)","journal-title":"J. Object Technol."},{"key":"552_CR8","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: Proceedings of the 11th International Conference on Software Product Lines (SPLC), pp. 23\u201334. IEEE Computer Society (2007)","DOI":"10.1109\/SPLINE.2007.24"},{"key":"552_CR9","unstructured":"EMF Compare. http:\/\/www.eclipse.org\/emf\/compare\/ . Accessed 10 Aug 2016"},{"issue":"1","key":"552_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"552_CR11","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Acher, M., Legay, A., Wasowski, A.: Sound merging and differencing for class diagrams. In: Gnesi, S., Rensink, A. (eds.) Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE). Lecture Notes in Computer Science, vol. 8411, pp. 63\u201378. Springer (2014)","DOI":"10.1007\/978-3-642-54804-8_5"},{"key":"552_CR12","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Legay, A., Wasowski, A.: Vision paper: Make a difference! (semantically). In: Whittle, J., Clark, T., K\u00fchne, T. (eds.): Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16\u201321, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6981, pp. 490\u2013500. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_36"},{"key":"552_CR13","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access-control policies. In: Roman, G., Griswold, W.G., Nuseibeh, B. (eds.) Proceedings of the 27th International Conference on Software Engineering (ICSE), pp. 196\u2013205. ACM (2005)","DOI":"10.1145\/1062455.1062502"},{"issue":"3","key":"552_CR14","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/s10270-011-0226-8","volume":"12","author":"C Gerth","year":"2013","unstructured":"Gerth, C., K\u00fcster, J.M., Luckey, M., Engels, G.: Detection and resolution of conflicting change operations in version management of process models. Softw. Syst. Model. 12(3), 517\u2013535 (2013)","journal-title":"Softw. Syst. Model."},{"issue":"10","key":"552_CR15","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: What\u2019s the semantics of \u201csemantics\u201d? IEEE Comput. 37(10), 64\u201372 (2004)","journal-title":"IEEE Comput."},{"key":"552_CR16","doi-asserted-by":"crossref","unstructured":"Jackson, D., Ladd, D.A.: Semantic Diff: A Tool for Summarizing the Effects of Modifications. In: M\u00fcller, H.A., Georges, M. (eds.) Proceedings of the International Conference on Software Maintenance (ICSM), pp. 243\u2013252. IEEE Computer Society (1994)","DOI":"10.1109\/ICSM.1994.336770"},{"key":"552_CR17","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"key":"552_CR18","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: Alexander, P., Pasareanu, C.S., Hosking, J.G. (eds.) Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 163\u2013172 (2011)","DOI":"10.1109\/ASE.2011.6100050"},{"key":"552_CR19","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: Consistency-preserving edit scripts in model versioning. In: 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 191\u2013201 (2013)","DOI":"10.1109\/ASE.2013.6693079"},{"key":"552_CR20","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Gerth, C., Engels, G.: Dependent and conflicting change operations of process models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) Proceedings of the 5th European Conference on Model Driven Architecture- Foundations and Applications (ECMDA-FA). Lecture Notes in Computer Science, vol. 5562, pp. 158\u2013173. Springer (2009)","DOI":"10.1007\/978-3-642-02674-4_12"},{"key":"552_CR21","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M., Shan, M.C. (eds.) Proceedings of the 6th International Conference on Business Process Management (BPM). Lecture Notes in Computer Science, vol. 5240, pp. 244\u2013260. Springer (2008)","DOI":"10.1007\/978-3-540-85758-7_19"},{"key":"552_CR22","doi-asserted-by":"crossref","unstructured":"Langer, P., Mayerhofer, T., Kappel, G.: Semantic model differencing utilizing behavioral semantics specifications. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfr\u00e1n, E. (eds.) Proceedings of the 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS). Lecture Notes in Computer Science, vol. 8767, pp. 116\u2013132. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_8"},{"issue":"4","key":"552_CR23","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1057\/palgrave.ejis.3000685","volume":"16","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Gray, J., Jouault, F.: DSMDiff: a differentiation tool for domain-specific models. Eur. J. Inf. Syst. 16(4), 349\u2013361 (2007)","journal-title":"Eur. J. Inf. Syst."},{"key":"552_CR24","doi-asserted-by":"crossref","unstructured":"Lippe, E., van Oosterom, N.: Operation-based merging. In: Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments (SDE), SDE 5, pp. 78\u201387. ACM, New York, NY, USA (1992)","DOI":"10.1145\/142868.143753"},{"key":"552_CR25","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: A manifesto for semantic model differencing. In: Dingel, J., Solberg, A. (eds.) MODELS 2010 Workshops. Lecture Notes in Computer Science, vol. 6627, pp. 17\u201331. Springer (2011)","DOI":"10.1007\/978-3-642-21210-9_19"},{"key":"552_CR26","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: Semantic differencing for activity diagrams. In: Gyim\u00f3thy, T., Zeller, A. (eds.) Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) and 13rd European Software Engineering Conference (ESEC), pp. 179\u2013189. ACM (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"552_CR27","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: An operational semantics for activity diagrams using SMV. Tech. Rep. AIB-2011-07, RWTH Aachen University (2011)"},{"key":"552_CR28","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.): Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16\u201321, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6981, pp. 592\u2013607. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_44"},{"key":"552_CR29","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: Semantic differencing for class diagrams. In: Mezini, M. (ed.) Proceedings of the 25th European Conference on Object Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 6813, pp. 230\u2013254. Springer (2011)","DOI":"10.1007\/978-3-642-22655-7_12"},{"key":"552_CR30","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Summarizing semantic model differences. In: Models and Evolution Workshop at MODELS (2011)"},{"key":"552_CR31","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Verifying component and connector models against crosscutting structural views. In: Jalote, P., Briand, L.C., van\u00a0der Hoek, A. (eds.) Proceedings of the 36th International Conference on Software Engineering (ICSE), pp. 95\u2013105. ACM (2014)","DOI":"10.1145\/2568225.2568237"},{"key":"552_CR32","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O.: A framework for relating syntactic and semantic model differences. In: Lethbridge, T., Cabot, J., Egyed, A. (eds.) Proceedings of the 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 24\u201333 (2015)","DOI":"10.1109\/MODELS.2015.7338232"},{"key":"552_CR33","unstructured":"Rindt, M., Kehrer, T., Kelter, U., Pietsch, P.: Rules for Edit Operations in Class Diagrams. Tech. rep., University of Siegen (2012). Available from http:\/\/pi.informatik.uni-siegen.de\/qudimo\/download\/RiKKP2011.pdf"},{"key":"552_CR34","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle, H.: Making sense to modelers\u2014presenting UML class model differences in prose. In: Hammoudi, S., Pires, L.F., Filipe, J., das Neves, R.C. (eds.) MODELSWARD, pp. 39\u201348. SciTePress (2013)","DOI":"10.5220\/0004320900390048"},{"issue":"1","key":"552_CR35","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10270-012-0248-x","volume":"13","author":"G Taentzer","year":"2014","unstructured":"Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: A fundamental approach to model versioning based on graph modifications: from theory to implementation. Softw. Syst. Model. 13(1), 239\u2013272 (2014)","journal-title":"Softw. Syst. Model."},{"key":"552_CR36","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Batory, D.S., K\u00e4stner, C.: Reasoning about edits to feature models. In: Proceedings of the 31st International Conference on Software Engineering (ICSE), pp. 254\u2013264. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070526"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0552-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0552-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0552-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0552-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T17:29:31Z","timestamp":1749058171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0552-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,12]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["552"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0552-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,12]]}}}