{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:03:42Z","timestamp":1774915422560,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["250902306"],"award-info":[{"award-number":["250902306"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3687818","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"1066-1075","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2147-1966","authenticated-orcid":false,"given":"Bernhard","family":"Rumpe","sequence":"first","affiliation":[{"name":"Software Engineering, RWTH Aachen University, Aachen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6328-3816","authenticated-orcid":false,"given":"Max","family":"Stachon","sequence":"additional","affiliation":[{"name":"Software Engineering, RWTH Aachen University, Aachen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6636-9375","authenticated-orcid":false,"given":"Sebastian","family":"St\u00fcber","sequence":"additional","affiliation":[{"name":"Software Engineering, RWTH Aachen University, Aachen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8110-3895","authenticated-orcid":false,"given":"Valdes","family":"Voufo","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE","author":"Ahn Gail-Joon","year":"2001","unstructured":"Gail-Joon Ahn and Michael E Shin. 2001. Role-based authorization constraints specification using object constraint language. In Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001. IEEE, 157--162."},{"key":"e_1_3_2_1_2_1","volume-title":"Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27--July 2, 2016, Proceedings. Springer, 82--98","author":"Bansal Kshitij","year":"2016","unstructured":"Kshitij Bansal, Andrew Reynolds, Clark Barrett, and Cesare Tinelli. 2016. A new decision procedure for finite sets and cardinality constraints in SMT. In Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27--July 2, 2016, Proceedings. Springer, 82--98."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032319"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 8th international workshop on satisfiability modulo theories","volume":"13","author":"Barrett Clark","year":"2010","unstructured":"Clark Barrett, Aaron Stump, Cesare Tinelli, et al. 2010. The smt-lib standard: Version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, UK), Vol. 13. 14."},{"key":"e_1_3_2_1_5_1","volume-title":"Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5--8, 2015. Proceedings 11","author":"Bj\u00f8rner Nikolaj","year":"2015","unstructured":"Nikolaj Bj\u00f8rner and Karthick Jayaraman. 2015. Checking cloud contracts in Microsoft Azure. In Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5--8, 2015. Proceedings 11. Springer, 21--32."},{"key":"e_1_3_2_1_6_1","volume-title":"Semantic Differencing for Message-Driven Component & Connector Architectures. In International Conference on Software Architecture (ICSA'17)","author":"Butting Arvid","year":"2017","unstructured":"Arvid Butting, Oliver Kautz, Bernhard Rumpe, and Andreas Wortmann. 2017. Semantic Differencing for Message-Driven Component & Connector Architectures. In International Conference on Software Architecture (ICSA'17) (Gothenburg). IEEE, 145--154. http:\/\/www.se-rwth.de\/publications\/Semantic-Differencing-for-Message-Driven-Component-and-Connector-Architectures.pdf"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"e_1_3_2_1_9_1","first-page":"2008","article-title":"System Model Semantics of Class Diagrams","author":"Cengarle Mar\u00eda Victoria","year":"2008","unstructured":"Mar\u00eda Victoria Cengarle, Hans Gr\u00f6nniger, and Bernhard Rumpe. 2008. System Model Semantics of Class Diagrams. Informatik-Bericht 2008-05. TU Braunschweig, Germany. http:\/\/www.se-rwth.de\/staff\/rumpe\/publications20042008\/System-Model-Semantics-of-Class-Diagrams.pdf","journal-title":"Informatik-Bericht"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_12_1","volume-title":"A tour of CVC4: how it works, and how to use it. In 2014 Formal Methods in Computer-Aided Design (FMCAD)","author":"Deters Morgan","unstructured":"Morgan Deters, Andrew Reynolds, Tim King, Clark Barrett, and Cesare Tinelli. 2014. A tour of CVC4: how it works, and how to use it. In 2014 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 7--7."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5220\/0007351902720280"},{"key":"e_1_3_2_1_14_1","volume-title":"Semantic Evolution Analysis of Feature Models. In International Systems and Software Product Line Conference (SPLC'19)","author":"Drave Imke","year":"2019","unstructured":"Imke Drave, Oliver Kautz, Judith Michael, and Bernhard Rumpe. 2019. Semantic Evolution Analysis of Feature Models. In International Systems and Software Product Line Conference (SPLC'19) (Paris), Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Ra\u00fal Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire T\u00ebrnava, Thomas Th\u00fcm, and Tewfik Ziadi (Eds.). ACM, 245--255. http:\/\/www.serwth.de\/publications\/Semantic-Evolution-Analysis-of-Feature-Models.pdf"},{"key":"e_1_3_2_1_15_1","volume-title":"Fundamental Approaches to Software Engineering","author":"Fahrenberg Uli","unstructured":"Uli Fahrenberg, Mathieu Acher, Axel Legay, and Andrzej W\u0105sowski. 2014. Sound Merging and Differencing for Class Diagrams. In Fundamental Approaches to Software Engineering, Stefania Gnesi and Arend Rensink (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 63--78."},{"key":"e_1_3_2_1_16_1","unstructured":"Erich Gamma Ralph Johnson Richard Helm Ralph E Johnson and John Vlissides. 1995. Design patterns: elements of reusable object-oriented software. Pearson Deutschland GmbH."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_2_1_19_1","volume-title":"Modellierung","author":"Gogolla Martin","year":"2016","unstructured":"Martin Gogolla and Frank Hilken. 2016. Model validation and verification options in a contemporary UML and OCL analysis tool. In Modellierung 2016. Gesellschaft f\u00fcr Informatik e.V., Bonn, 205--220."},{"key":"e_1_3_2_1_20_1","unstructured":"Object Management Group. 2017. OMG Unified Modeling Language (OMG UML). (2017)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1080\/07421222.2004.11045786"},{"key":"e_1_3_2_1_22_1","volume-title":"Unifying Theories of Programming and Formal Engineering Methods","author":"Jackson Ethan","unstructured":"Ethan Jackson and Wolfram Schulte. 2013. FORMULA 2.0: A Language for Formal Specifications. In Unifying Theories of Programming and Formal Engineering Methods. Springer Berlin Heidelberg, 156--206. https:\/\/www.microsoft.com\/en-us\/research\/publication\/formula-2-0-language-formal-specifications\/"},{"key":"e_1_3_2_1_23_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","year":"2006","unstructured":"Jackson, Daniel. 2006. Software Abstractions: Logic, Language, and Analysis. The MIT Press."},{"key":"e_1_3_2_1_24_1","volume-title":"Model Analyses Based on Semantic Differencing and Automatic Model Repair","author":"Kautz Oliver","unstructured":"Oliver Kautz. 2021. Model Analyses Based on Semantic Differencing and Automatic Model Repair. Shaker Verlag. http:\/\/www.se-rwth.de\/phdtheses\/Diss-Kautz-Model-Analyses-Based-on-Semantic-Differencing-and-Automatic-Model-Repair.pdf"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of MODELS 2018. Workshop ME (Copenhagen). http:\/\/www.se-rwth.de\/publications\/Semantic-Differencing-of-Activity-Diagrams-by-a-Translation-into-Finite-Automata.pdf","author":"Kautz Oliver","year":"2018","unstructured":"Oliver Kautz and Bernhard Rumpe. 2018. Semantic Differencing of Activity Diagrams by a Translation into Finite Automata. In Proceedings of MODELS 2018. Workshop ME (Copenhagen). http:\/\/www.se-rwth.de\/publications\/Semantic-Differencing-of-Activity-Diagrams-by-a-Translation-into-Finite-Automata.pdf"},{"key":"e_1_3_2_1_27_1","volume-title":"ECOOP'99 Workshop Reader (LNCS 1743)","author":"Kent Stuart","year":"1999","unstructured":"Stuart Kent, Andy Evans, and Bernhard Rumpe. 1999. UML Semantics FAQ. In Object-Oriented Technology, ECOOP'99 Workshop Reader (LNCS 1743), A. Moreira and S. Demeyer (Eds.). Springer Verlag, Berlin."},{"key":"e_1_3_2_1_28_1","volume-title":"From UML and OCL to Relational Logic and Back","author":"Kuhlmann Mirco","unstructured":"Mirco Kuhlmann and Martin Gogolla. 2012. From UML and OCL to Relational Logic and Back. In Model Driven Engineering Languages and Systems, Robert B. France, J\u00fcrgen Kazmeier, Ruth Breu, and Colin Atkinson (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 415--431."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2023.22.2.a1"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings Int. Workshop on Models and Evolution (ME'10)","author":"Maoz Shahar","year":"2010","unstructured":"Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2010. A Manifesto for Semantic Model Differencing. In Proceedings Int. Workshop on Models and Evolution (ME'10) (LNCS 6627). Springer, 194--203. http:\/\/www.se-rwth.de\/publications\/A-Manifesto-for-Semantic-Model-Differencing.pdf"},{"key":"e_1_3_2_1_31_1","volume-title":"ADDiff: Semantic Differencing for Activity Diagrams. In Conference on Foundations of Software Engineering (ESEC\/FSE '11)","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. ADDiff: Semantic Differencing for Activity Diagrams. In Conference on Foundations of Software Engineering (ESEC\/FSE '11). ACM, 179--189. http:\/\/www.se-rwth.de\/publications\/ADDiff-Semantic-Differencing-for-Activity-Diagrams.pdf"},{"key":"e_1_3_2_1_32_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. An Operational Semantics for Activity Diagrams using SMV. Technical Report AIB-2011-07. RWTH Aachen University, Aachen, Germany. http:\/\/www.se-rwth.de\/publications\/An-Operational-Semantics-for-Activity-Diagrams-using-SMV.pdf"},{"key":"e_1_3_2_1_33_1","volume-title":"CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming, Mira Mezini (Ed.). Springer Berlin Heidelberg, 230--254","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming, Mira Mezini (Ed.). Springer Berlin Heidelberg, 230--254. https:\/\/se-rwth.de\/publications\/CDDiff-Semantic-Differencing-for-Class-Diagrams.pdf"},{"key":"e_1_3_2_1_34_1","volume-title":"2015 IEEE Computer Society Annual Symposium on VLSI. IEEE, 7--12","author":"Mukherjee Rajdeep","year":"2015","unstructured":"Rajdeep Mukherjee, Daniel Kroening, and Tom Melham. 2015. Hardware verification using software analyzers. In 2015 IEEE Computer Society Annual Symposium on VLSI. IEEE, 7--12."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.18420\/modellierung2022-016"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351706"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.08.005"},{"key":"e_1_3_2_1_38_1","volume-title":"Conceptual Modeling - ER '98, Tok-Wang Ling","author":"Richters Mark","unstructured":"Mark Richters and Martin Gogolla. 1998. On Formalizing the UML Object Constraint Language OCL. In Conceptual Modeling - ER '98, Tok-Wang Ling, Sudha Ram, and Mong Li Lee (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 449--464."},{"key":"e_1_3_2_1_39_1","volume-title":"Andy Evans","author":"Richters Mark","unstructured":"Mark Richters and Martin Gogolla. 2000. Validating UML Models and OCL Constraints. In \"UML \"2000 --- The Unified Modeling Language, Andy Evans, Stuart Kent, and Bran Selic (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 265--277."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2023.22.2.a11"},{"key":"e_1_3_2_1_41_1","volume-title":"Modellierung mit UML, 2te Auflage","author":"Rumpe Bernhard","unstructured":"Bernhard Rumpe. 2011. Modellierung mit UML, 2te Auflage. Springer Berlin. https:\/\/mbse.se-rwth.de\/"},{"key":"e_1_3_2_1_42_1","volume-title":"Concepts, Methods","author":"Rumpe Bernhard","unstructured":"Bernhard Rumpe. 2016. Modeling with UML: Language, Concepts, Methods. Springer International. https:\/\/mbse.se-rwth.de\/"},{"key":"e_1_3_2_1_43_1","volume-title":"Testing, Refactoring","author":"Rumpe Bernhard","unstructured":"Bernhard Rumpe. 2017. Agile Modeling with UML: Code Generation, Testing, Refactoring. Springer International. https:\/\/mbse.se-rwth.de\/"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.06.010"},{"key":"e_1_3_2_1_46_1","volume-title":"Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9--11, 2008. Proceedings 2. Springer, 134--153","author":"Tillmann Nikolai","year":"2008","unstructured":"Nikolai Tillmann and Jonathan De Halleux. 2008. Pex-white box test generation for. net. In Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9--11, 2008. Proceedings 2. Springer, 134--153."},{"key":"e_1_3_2_1_47_1","volume-title":"Kodkod: A relational model finder. In Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson. 2007. Kodkod: A relational model finder. In Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24-April 1, 2007. Proceedings 13. Springer, 632--647."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.102955"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00849-8"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS Companion '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687818","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3687818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":48,"alternative-id":["10.1145\/3652620.3687818","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3687818","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}