{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:03:39Z","timestamp":1774915419876,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319116525","type":"print"},{"value":"9783319116532","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11653-2_8","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T11:30:44Z","timestamp":1411126244000},"page":"116-132","source":"Crossref","is-referenced-by-count":20,"title":["Semantic Model Differencing Utilizing Behavioral Semantics Specifications"],"prefix":"10.1007","author":[{"given":"Philip","family":"Langer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanja","family":"Mayerhofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"issue":"2","key":"8_CR2","first-page":"29","volume":"9","author":"C. Brun","year":"2008","unstructured":"Brun, C., Pierantonio, A.: Model Differences in the Eclipse Modeling Framework. UPGRADE, The European Journal for the Informatics Professional\u00a09(2), 29\u201334 (2008)","journal-title":"UPGRADE, The European Journal for the Informatics Professional"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C. Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic Execution for Software Testing: Three Decades Later. Communications of the ACM\u00a056(2), 82\u201390 (2013)","journal-title":"Communications of the ACM"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, L.A.: A Program Testing System. In: Proceedings of the 1976 Annual Conference (ACM 1976), pp. 488\u2013491. ACM (1976)","DOI":"10.1145\/800191.805647"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, J., Nielsen, M.: Decidability Issues for Petri Nets. Technical Report, BRICS RS948, BRICS Report Series, Department of Computer Science, University of Aarhus (1994), http:\/\/www.brics.dk","DOI":"10.7146\/brics.v1i8.21662"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Acher, M., Legay, A., W\u0105sowski, A.: Sound Merging and Differencing for Class Diagrams. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol.\u00a08411, pp. 63\u201378. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54804-8_5"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-642-24485-8_36","volume-title":"Model Driven Engineering Languages and Systems","author":"U. Fahrenberg","year":"2011","unstructured":"Fahrenberg, U., Legay, A., W\u0105sowski, A.: Vision Paper: Make a Difference (Semantically). In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 490\u2013500. Springer, Heidelberg (2011)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-642-16129-2_8","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Gerth","year":"2010","unstructured":"Gerth, C., K\u00fcster, J.M., Luckey, M., Engels, G.: Precise Detection of Conflicting Change Operations Using Process Model Terms. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part II. LNCS, vol.\u00a06395, pp. 93\u2013107. Springer, Heidelberg (2010)"},{"issue":"10","key":"8_CR10","doi-asserted-by":"publisher","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? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., P\u0103s\u0103reanu, C.S., Visser, W.: Generalized Symbolic Execution for Model Checking and Testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"key":"8_CR12","unstructured":"Kolovos, D., Rose, L., Garc\u00eda-Dom\u00ednguez, A., Paige, R.: The Epsilon Book (March 2014), https:\/\/www.eclipse.org\/epsilon\/doc\/book\/"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M. Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive Validation of OCL Models by Integrating SAT Solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol.\u00a06705, pp. 290\u2013306. Springer, Heidelberg (2011)"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","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. European Journal of Information Systems\u00a016(4), 349\u2013361 (2007)","journal-title":"European Journal of Information Systems"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Ma, K.-K., Yit Phang, K., Foster, J.S., Hicks, M.: Directed Symbolic Execution. In: Yahav, E. (ed.) SAS 2011. LNCS, vol.\u00a06887, pp. 95\u2013111. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-23702-7_11"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-21210-9_19","volume-title":"Models in Software Engineering","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: A Manifesto for Semantic Model Differencing. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 194\u2013203. Springer, Heidelberg (2011)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: Semantic Differencing for Activity Diagrams. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering (ESEC\/FSE 2011), pp. 179\u2013189. ACM (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-22655-7_12","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: Semantic Differencing for Class Diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 230\u2013254. Springer, Heidelberg (2011)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A Runtime Model for fUML. In: Proceedings of the 7th Workshop on Models@run.time (MRT) co-located with the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), pp. 53\u201358. ACM (2012)","DOI":"10.1145\/2422518.2422527"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-319-02654-1_4","volume-title":"Software Language Engineering","author":"T. Mayerhofer","year":"2013","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M., Kappel, G.: xMOF: Executable DSMLs Based on fUML. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol.\u00a08225, pp. 56\u201375. Springer, Heidelberg (2013)"},{"key":"8_CR21","unstructured":"Moliz project, http:\/\/www.modelexecution.org"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MODELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)","DOI":"10.1007\/11557432_19"},{"key":"8_CR23","unstructured":"Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1 (August 2011), http:\/\/www.omg.org\/spec\/UML\/2.4.1"},{"key":"8_CR24","unstructured":"Object Management Group. Semantics of a Foundational Subset for Executable UML Models (fUML), Version 1.0 (February 2011), http:\/\/www.omg.org\/spec\/FUML\/1.0"},{"issue":"5","key":"8_CR25","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/949952.940102","volume":"28","author":"D. Ohst","year":"2003","unstructured":"Ohst, D., Welle, M., Kelter, U.: Differences Between Versions of UML Diagrams. SIGSOFT Software Engineering Notes\u00a028(5), 227\u2013236 (2003)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Oliveira, H., Murta, L., Werner, C.: Odyssey-VCS: A Flexible Version Control System for UML Model Elements. In: Proceedings of the 12th International Workshop on Software Configuration Management (SCM 2005), pp. 1\u201316. ACM (2005)","DOI":"10.1145\/1109128.1109129"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Person, S., Dwyer, M.B., Elbaum, S.G., Pasareanu, C.S.: Differential Symbolic Execution. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2008), pp. 226\u2013237. ACM (2008)","DOI":"10.1145\/1453101.1453131"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Reiter, T., Altmanninger, K., Bergmayr, A., Schwinger, W., Kotsis, G.: Models in Conflict \u2013 Detection of Semantic Conflicts in Model-based Development. In: Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems (MDEIS) co-located with the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pp. 29\u201340 (2007)","DOI":"10.5220\/0002422600290040"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Sen, K.: Concolic Testing. In: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), pp. 571\u2013572. ACM (2007)","DOI":"10.1145\/1321631.1321746"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Xing, Z., Stroulia, E.: UMLDiff: An Algorithm for Object-oriented Design Differencing. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2005), pp. 54\u201365. ACM (2005)","DOI":"10.1145\/1101908.1101919"}],"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-319-11653-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T18:33:47Z","timestamp":1746383627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11653-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116525","9783319116532"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11653-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}