{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:41Z","timestamp":1750221041494,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239384","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"289-299","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On Computing Instructions to Repair Failed Model Refinements"],"prefix":"10.1145","author":[{"given":"Oliver","family":"Kautz","sequence":"first","affiliation":[{"name":"Software Engineering RWTH Aachen University, Aachen, Germany"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[{"name":"Software Engineering RWTH Aachen University, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_41"},{"key":"e_1_3_2_1_2_1","volume-title":"Difference and Union of Models. In Modeling Languages and Applications: 6th International Conference","author":"Alanen Marcus","year":"2003","unstructured":"Marcus Alanen and Ivan Porres . 2003 . Difference and Union of Models. In Modeling Languages and Applications: 6th International Conference , San Francisco, CA, USA , October 20-24, 2003. Proceedings. Marcus Alanen and Ivan Porres. 2003. Difference and Union of Models. In Modeling Languages and Applications: 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings."},{"key":"e_1_3_2_1_3_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) . IEEE, 145--154. 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). IEEE, 145--154."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.9.a9"},{"key":"e_1_3_2_1_5_1","volume-title":"Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Line Conference (SPLC","author":"Czarnecki Krzysztof","year":"2007","unstructured":"Krzysztof Czarnecki and Andrzej W\u0105sowski . 2007 . Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Line Conference (SPLC 2007). 23--34. Krzysztof Czarnecki and Andrzej W\u0105sowski. 2007. Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Line Conference (SPLC 2007). 23--34."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_5"},{"key":"e_1_3_2_1_7_1","volume-title":"Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems.","author":"Fahrenberg Uli","year":"2011","unstructured":"Uli Fahrenberg , Axel Legay , and Andrzej W\u0105sowski . 2011 . Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems. Uli Fahrenberg, Axel Legay, and Andrzej W\u0105sowski. 2011. Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Christian Gerth Jochen M. K\u00fcster Markus Luckey and Gregor Engels. 2010. Precise Detection of Conflicting Change Operations Using Process Model Terms. In Model Driven Engineering Languages and Systems.   Christian Gerth Jochen M. K\u00fcster Markus Luckey and Gregor Engels. 2010. Precise Detection of Conflicting Change Operations Using Process Model Terms. In Model Driven Engineering Languages and Systems.","DOI":"10.1007\/978-3-642-16129-2_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/903627"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"volume-title":"Model Driven Architecture - Foundations and Applications (ECMDAFA) (LNCS)","author":"Herrmann Christoph","key":"e_1_3_2_1_11_1","unstructured":"Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , and Steven V\u00f6lkel . 2007. An Algebraic View on the Semantics of Model Composition . In Model Driven Architecture - Foundations and Applications (ECMDAFA) (LNCS) , D. H. Akehurst, R. Vogel, and R. F. Paige (Eds.). Springer , Haifa, Israel , 99--113. Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, and Steven V\u00f6lkel. 2007. An Algebraic View on the Semantics of Model Composition. In Model Driven Architecture - Foundations and Applications (ECMDAFA) (LNCS), D. H. Akehurst, R. Vogel, and R. F. Paige (Eds.). Springer, Haifa, Israel, 99--113."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100050"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693079"},{"key":"e_1_3_2_1_14_1","volume-title":"\u00dcber eine Schlussweise aus dem Endlichen ins Unendliche. Acta litterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae: Sectio scientiarum mathematicarum 3","author":"K\u00f6nig D\u00e9nes","year":"1927","unstructured":"D\u00e9nes K\u00f6nig . 1927. \u00dcber eine Schlussweise aus dem Endlichen ins Unendliche. Acta litterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae: Sectio scientiarum mathematicarum 3 ( 1927 ), 121--130. D\u00e9nes K\u00f6nig. 1927. \u00dcber eine Schlussweise aus dem Endlichen ins Unendliche. Acta litterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae: Sectio scientiarum mathematicarum 3 (1927), 121--130."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_19"},{"volume-title":"PSRC@MoDELs (CEUR Workshop Proceedings)","author":"Langer Philip","key":"e_1_3_2_1_17_1","unstructured":"Philip Langer , Tanja Mayerhofer , and Gerti Kappel . 2014. A Generic Framework for Realizing Semantic Model Differencing Operators . In PSRC@MoDELs (CEUR Workshop Proceedings) , Vol. 1258 . CEUR-WS. org. Philip Langer, Tanja Mayerhofer, and Gerti Kappel. 2014. A Generic Framework for Realizing Semantic Model Differencing Operators. In PSRC@MoDELs (CEUR Workshop Proceedings), Vol. 1258. CEUR-WS.org."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Philip Langer Tanja Mayerhofer and Gerti Kappel. 2014. Semantic Model Differencing Utilizing Behavioral Semantics Specifications. In Model-Driven Engineering Languages and Systems.  Philip Langer Tanja Mayerhofer and Gerti Kappel. 2014. Semantic Model Differencing Utilizing Behavioral Semantics Specifications. In Model-Driven Engineering Languages and Systems.","DOI":"10.1007\/978-3-319-11653-2_8"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338232"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0552-y"},{"key":"e_1_3_2_1_21_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. 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."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025140"},{"key":"e_1_3_2_1_23_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. 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."},{"key":"e_1_3_2_1_24_1","volume-title":"CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming.","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. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming."},{"volume-title":"Analysis and Synthesis of Interactive Component and Connector Systems","author":"Ringert Jan Oliver","key":"e_1_3_2_1_25_1","unstructured":"Jan Oliver Ringert . 2014. Analysis and Synthesis of Interactive Component and Connector Systems . Shaker Verlag . Jan Oliver Ringert. 2014. Analysis and Synthesis of Interactive Component and Connector Systems. Shaker Verlag."},{"key":"e_1_3_2_1_26_1","unstructured":"Bernhard Rumpe. 1996. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Doktorarbeit. TU Munich.  Bernhard Rumpe. 1996. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Doktorarbeit. TU Munich."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0248-x"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Copenhagen Denmark","acronym":"MODELS '18"},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239384","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:53Z","timestamp":1750207433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":28,"alternative-id":["10.1145\/3239372.3239384","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239384","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}