{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:03Z","timestamp":1762459923939,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"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":[[2020,11,16]]},"DOI":"10.1145\/3426425.3426931","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:19:49Z","timestamp":1606267189000},"page":"39-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars"],"prefix":"10.1145","author":[{"given":"Lars","family":"Fritsche","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}]},{"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[{"name":"University of Marburg, Germany"}]},{"given":"Adrian","family":"M\u00f6ller","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[{"name":"University of Marburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_2_1_1","article-title":"Benchmarking bidirectional transformations: theory, implementation, application, and assessment","volume":"19","author":"Anjorin Anthony","year":"2020","unstructured":"Anthony Anjorin , Thomas Buchmann , Bernhard Westfechtel , Zinovy Diskin , Hsiang-Shang Ko , Romina Eramo , Georg Hinkel , Leila SamimiDehkordi , and Albert Z\u00fcndorf . 2020 . Benchmarking bidirectional transformations: theory, implementation, application, and assessment . Journal of Software and Systems Modeling 19 , 3 ( 2020 ), 647-691. htps: \/\/doi.org\/10.1007\/s10270-019-00752-x 10.1007\/s10270-019-00752-x Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila SamimiDehkordi, and Albert Z\u00fcndorf. 2020. Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Journal of Software and Systems Modeling 19, 3 ( 2020 ), 647-691. htps: \/\/doi.org\/10.1007\/s10270-019-00752-x","journal-title":"Journal of Software and Systems Modeling"},{"key":"e_1_3_2_2_2_1","volume-title":"Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS","author":"Anjorin Anthony","year":"2017","unstructured":"Anthony Anjorin , Zinovy Diskin , Fr\u00e9d\u00e9ric Jouault , Hsiang-Shang Ko , Erhan Leblebici , and Bernhard Westfechtel . 2017. BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations . In Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017 , Uppsala, Sweden, April 29, 2017 (CEUR Workshop Proceedings, Vol. 1827 ), Romina Eramo and Michael Johnson (Eds.). CEUR-WS. org, 15-30. Anthony Anjorin, Zinovy Diskin, Fr\u00e9d\u00e9ric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel. 2017. BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. In Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017 (CEUR Workshop Proceedings, Vol. 1827 ), Romina Eramo and Michael Johnson (Eds.). CEUR-WS.org, 15-30."},{"key":"e_1_3_2_2_3_1","article-title":"Formal foundation of consistent EMF model transformations by algebraic graph transformation","volume":"11","author":"Biermann Enrico","year":"2012","unstructured":"Enrico Biermann , Claudia Ermel , and Gabriele Taentzer . 2012 . Formal foundation of consistent EMF model transformations by algebraic graph transformation . Journal of Software and Systems Modeling 11 , 2 ( 2012 ), 227-250. htps:\/\/doi.org\/10.1007\/s10270-011-0199-7 10.1007\/s10270-011-0199-7 Enrico Biermann, Claudia Ermel, and Gabriele Taentzer. 2012. Formal foundation of consistent EMF model transformations by algebraic graph transformation. Journal of Software and Systems Modeling 11, 2 ( 2012 ), 227-250. htps:\/\/doi.org\/10.1007\/s10270-011-0199-7","journal-title":"Journal of Software and Systems Modeling"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3103551"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.04.007"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005957100270038"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2017.16.1.a3"},{"key":"e_1_3_2_2_8_1","volume-title":"JTL: A Bidirectional and Change Propagating Transformation Language. In Software Language Engineering-Third International Conference, SLE 2010","author":"Cicchetti Antonio","year":"2010","unstructured":"Antonio Cicchetti , Davide Di Ruscio , Romina Eramo , and Alfonso Pierantonio . 2010 . JTL: A Bidirectional and Change Propagating Transformation Language. In Software Language Engineering-Third International Conference, SLE 2010 , Eindhoven, The Netherlands , October 12-13, 2010, Revised Selected Papers (Lecture Notes in Computer Science, Vol. 6563 ), Brian A. Malloy, Stefen Staab, and Mark van den Brand (Eds.). Springer, Berlin and Heidelberg, 183-202. htps:\/\/doi.org\/10. 1007\/978-3-642-19440-5_11 Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2010. JTL: A Bidirectional and Change Propagating Transformation Language. In Software Language Engineering-Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers (Lecture Notes in Computer Science, Vol. 6563 ), Brian A. Malloy, Stefen Staab, and Mark van den Brand (Eds.). Springer, Berlin and Heidelberg, 183-202. htps:\/\/doi.org\/10. 1007\/978-3-642-19440-5_11"},{"key":"e_1_3_2_2_9_1","first-page":"292","volume-title":"Fixing Inconsistencies in UML Design Models. In 29th International Conference on Software Engineering (ICSE 2007 )","author":"Egyed Alexander","year":"2007","unstructured":"Alexander Egyed . 2007 . Fixing Inconsistencies in UML Design Models. In 29th International Conference on Software Engineering (ICSE 2007 ) , Minneapolis, MN, USA , May 20-26, 2007. IEEE Computer Society, 292 - 301 . htps:\/\/doi.org\/10.1109\/ICSE. 2007.38 10.1109\/ICSE Alexander Egyed. 2007. Fixing Inconsistencies in UML Design Models. In 29th International Conference on Software Engineering (ICSE 2007 ), Minneapolis, MN, USA, May 20-26, 2007. IEEE Computer Society, 292-301. htps:\/\/doi.org\/10.1109\/ICSE. 2007.38"},{"volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig Hartmut","key":"e_1_3_2_2_10_1","unstructured":"Hartmut Ehrig , Karsten Ehrig , Ulrike Prange , and Gabriele Taentzer . 2006. Fundamentals of Algebraic Graph Transformation . Springer , Berlin and Heidelberg. htps:\/\/doi.org\/10.1007\/3-540-31188-2 10.1007\/3-540-31188-2 Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. 2006. Fundamentals of Algebraic Graph Transformation. Springer, Berlin and Heidelberg. htps:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/b75045"},{"key":"e_1_3_2_2_12_1","unstructured":"Lars Fritsche Jens Kosiol Andy Sch\u00fcrr and Gabriele Taentzer. 2020. Avoiding unnecessary information loss: correct and eficient model synchronization based on triple graph grammars. International Journal on Software Tools for Technology Transfer ( 2020 ). htps:\/\/doi.org\/10. 1007\/s10009-020-00588-7  Lars Fritsche Jens Kosiol Andy Sch\u00fcrr and Gabriele Taentzer. 2020. Avoiding unnecessary information loss: correct and eficient model synchronization based on triple graph grammars. International Journal on Software Tools for Technology Transfer ( 2020 ). htps:\/\/doi.org\/10. 1007\/s10009-020-00588-7"},{"key":"e_1_3_2_2_13_1","volume-title":"Short-Cut Rules-Sequential Composition of Rules Avoiding Unnecessary Deletions. In Software Technologies: Applications and Foundations-STAF 2018 Collocated Workshops","volume":"11176","author":"Fritsche Lars","year":"2018","unstructured":"Lars Fritsche , Jens Kosiol , Andy Sch\u00fcrr , and Gabriele Taentzer . 2018 . Short-Cut Rules-Sequential Composition of Rules Avoiding Unnecessary Deletions. In Software Technologies: Applications and Foundations-STAF 2018 Collocated Workshops , Toulouse, France , June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science, Vol. 11176 ), Manuel Mazzara, Iulian Ober, and Gwen Sala\u00fcn (Eds.). Springer International Publishing, Cham, 415-430. htps:\/\/doi.org\/10.1007\/978-3-030-04771-9_30 10.1007\/978-3-030-04771-9_30 Lars Fritsche, Jens Kosiol, Andy Sch\u00fcrr, and Gabriele Taentzer. 2018. Short-Cut Rules-Sequential Composition of Rules Avoiding Unnecessary Deletions. In Software Technologies: Applications and Foundations-STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science, Vol. 11176 ), Manuel Mazzara, Iulian Ober, and Gwen Sala\u00fcn (Eds.). Springer International Publishing, Cham, 415-430. htps:\/\/doi.org\/10.1007\/978-3-030-04771-9_30"},{"key":"e_1_3_2_2_14_1","first-page":"116","volume-title":"FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture Notes in Computer Science","volume":"11424","author":"Fritsche Lars","year":"2019","unstructured":"Lars Fritsche , Jens Kosiol , Andy Sch\u00fcrr , and Gabriele Taentzer . 2019 . Eficient Model Synchronization by Automatically Constructed Repair Processes. In Fundamental Approaches to Software Engineering-22nd International Conference , FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture Notes in Computer Science , Vol. 11424 ), Reiner H\u00e4hnle and Wil M. P. van der Aalst (Eds.). Springer International Publishing, Cham , 116 - 133 . htps:\/\/doi.org\/10. 1007\/978-3-030-16722-6_7 Lars Fritsche, Jens Kosiol, Andy Sch\u00fcrr, and Gabriele Taentzer. 2019. Eficient Model Synchronization by Automatically Constructed Repair Processes. In Fundamental Approaches to Software Engineering-22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture Notes in Computer Science, Vol. 11424 ), Reiner H\u00e4hnle and Wil M. P. van der Aalst (Eds.). Springer International Publishing, Cham, 116-133. htps:\/\/doi.org\/10. 1007\/978-3-030-16722-6_7"},{"key":"e_1_3_2_2_15_1","article-title":"From model transformation to incremental bidirectional model synchronization","volume":"8","author":"Giese Holger","year":"2009","unstructured":"Holger Giese and Robert Wagner . 2009 . From model transformation to incremental bidirectional model synchronization . Journal of Software and Systems Modeling 8 , 1 ( 2009 ), 21-43. htps:\/\/doi.org\/10.1007\/ s10270-008-0089-9 Holger Giese and Robert Wagner. 2009. From model transformation to incremental bidirectional model synchronization. Journal of Software and Systems Modeling 8, 1 ( 2009 ), 21-43. htps:\/\/doi.org\/10.1007\/ s10270-008-0089-9","journal-title":"Journal of Software and Systems Modeling"},{"key":"e_1_3_2_2_16_1","volume-title":"Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013 ), Miami, FL, USA, September 29, 2013 (CEUR Workshop Proceedings","volume":"1077","author":"Gottmann Susann","year":"2013","unstructured":"Susann Gottmann , Frank Hermann , Nico Nachtigall , Benjamin Braatz , Claudia Ermel , Hartmut Ehrig , and Thomas Engel . 2013 . Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars . In Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013 ), Miami, FL, USA, September 29, 2013 (CEUR Workshop Proceedings , Vol. 1077 ), Benoit Baudry, J\u00fcrgen Dingel, Levi Lucio, and Hans Vangheluwe (Eds.). CEUR-WS.org. Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, and Thomas Engel. 2013. Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. In Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013 ), Miami, FL, USA, September 29, 2013 (CEUR Workshop Proceedings, Vol. 1077 ), Benoit Baudry, J\u00fcrgen Dingel, Levi Lucio, and Hans Vangheluwe (Eds.). CEUR-WS.org."},{"volume-title":"Graph Transformation for Software Engineers-With Applications to Model-Based Development and Domain-Specific Language Engineering","author":"Heckel Reiko","key":"e_1_3_2_2_17_1","unstructured":"Reiko Heckel and Gabriele Taentzer . 2020. Graph Transformation for Software Engineers-With Applications to Model-Based Development and Domain-Specific Language Engineering . Springer , Cham . htps: \/\/doi.org\/10.1007\/978-3-030-43916-3 10.1007\/978-3-030-43916-3 Reiko Heckel and Gabriele Taentzer. 2020. Graph Transformation for Software Engineers-With Applications to Model-Based Development and Domain-Specific Language Engineering. Springer, Cham. htps: \/\/doi.org\/10.1007\/978-3-030-43916-3"},{"key":"e_1_3_2_2_18_1","first-page":"178","volume-title":"FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings (Lecture Notes in Computer Science","volume":"7212","author":"Hermann Frank","year":"2012","unstructured":"Frank Hermann , Hartmut Ehrig , Claudia Ermel , and Fernando Orejas . 2012 . Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In Fundamental Approaches to Software Engineering-15th International Conference , FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings (Lecture Notes in Computer Science , Vol. 7212 ), Juan de Lara and Andrea Zisman (Eds.). Springer , 178 - 193 . htps:\/\/doi.org\/10.1007\/978-3-642-28872-2_13 10.1007\/978-3-642-28872-2_13 Frank Hermann, Hartmut Ehrig, Claudia Ermel, and Fernando Orejas. 2012. Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In Fundamental Approaches to Software Engineering-15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings (Lecture Notes in Computer Science, Vol. 7212 ), Juan de Lara and Andrea Zisman (Eds.). Springer, 178-193. htps:\/\/doi.org\/10.1007\/978-3-642-28872-2_13"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the First International Workshop on Model-Driven Interoperability, MDI@MoDELS 2010","author":"Hermann Frank","year":"2010","unstructured":"Frank Hermann , Hartmut Ehrig , Ulrike Golas , and Fernando Orejas . 2010 . Eficient analysis and execution of correct and complete model transformations based on triple graph grammars . In Proceedings of the First International Workshop on Model-Driven Interoperability, MDI@MoDELS 2010 , Oslo, Norway , October 3-5, 2010, Jean B\u00e9zivin, Richard Mark Soley, and Antonio Vallecillo (Eds.). ACM, New York, 22-31. htps:\/\/doi.org\/10.1145\/1866272.1866277 10.1145\/1866272.1866277 Frank Hermann, Hartmut Ehrig, Ulrike Golas, and Fernando Orejas. 2010. Eficient analysis and execution of correct and complete model transformations based on triple graph grammars. In Proceedings of the First International Workshop on Model-Driven Interoperability, MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010, Jean B\u00e9zivin, Richard Mark Soley, and Antonio Vallecillo (Eds.). ACM, New York, 22-31. htps:\/\/doi.org\/10.1145\/1866272.1866277"},{"key":"e_1_3_2_2_20_1","article-title":"Model synchronization based on triple graph grammars: correctness, completeness and invertibility","volume":"14","author":"Hermann Frank","year":"2015","unstructured":"Frank Hermann , Hartmut Ehrig , Fernando Orejas , Krzysztof Czarnecki , Zinovy Diskin , Yingfei Xiong , Susann Gottmann , and Thomas Engel . 2015 . Model synchronization based on triple graph grammars: correctness, completeness and invertibility . Journal of Software and Systems Modeling 14 , 1 ( 2015 ), 241-269. htps:\/\/doi.org\/10.1007\/s10270-012-0309-1 10.1007\/s10270-012-0309-1 Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, and Thomas Engel. 2015. Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Journal of Software and Systems Modeling 14, 1 ( 2015 ), 241-269. htps:\/\/doi.org\/10.1007\/s10270-012-0309-1","journal-title":"Journal of Software and Systems Modeling"},{"key":"e_1_3_2_2_21_1","volume-title":"Model Synchronisation: Definitions for Round-Trip Engineering. In Theory and Practice of Model Transformations-1st International Conference, ICMT@TOOLS","author":"Hettel Thomas","year":"2008","unstructured":"Thomas Hettel , Michael Lawley , and Kerry Raymond . 2008 . Model Synchronisation: Definitions for Round-Trip Engineering. In Theory and Practice of Model Transformations-1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science, Vol. 5063 ), Antonio Vallecillo, Jef Gray, and Alfonso Pierantonio (Eds.). Springer , Berlin and Heidelberg, 31-45. htps:\/\/doi.org\/10.1007\/978-3-540-69927-9_3 10.1007\/978-3-540-69927-9_3 Thomas Hettel, Michael Lawley, and Kerry Raymond. 2008. Model Synchronisation: Definitions for Round-Trip Engineering. In Theory and Practice of Model Transformations-1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science, Vol. 5063 ), Antonio Vallecillo, Jef Gray, and Alfonso Pierantonio (Eds.). Springer, Berlin and Heidelberg, 31-45. htps:\/\/doi.org\/10.1007\/978-3-540-69927-9_3"},{"key":"#cr-split#-e_1_3_2_2_23_1.1","unstructured":"Felix Klar Marius Lauder Alexander K\u00f6nigs and Andy Sch\u00fcrr. 2010. Extended Triple Graph Grammars with Eficient and Compatible Graph Translators. In Graph Transformations and Model-Driven Engineering-Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday Gregor Engels Claus Lewerentz Wilhelm Sch\u00e4fer Andy Sch\u00fcrr and Bernhard Westfechtel (Eds.). Lecture Notes in Computer Science Vol. 5765. Springer Berlin and Heidelberg 141-174. htps:\/\/doi.org\/10.1007\/978-3-642-17322-6_8 10.1007\/978-3-642-17322-6_8"},{"key":"#cr-split#-e_1_3_2_2_23_1.2","unstructured":"Felix Klar Marius Lauder Alexander K\u00f6nigs and Andy Sch\u00fcrr. 2010. Extended Triple Graph Grammars with Eficient and Compatible Graph Translators. In Graph Transformations and Model-Driven Engineering-Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday Gregor Engels Claus Lewerentz Wilhelm Sch\u00e4fer Andy Sch\u00fcrr and Bernhard Westfechtel (Eds.). Lecture Notes in Computer Science Vol. 5765. Springer Berlin and Heidelberg 141-174. htps:\/\/doi.org\/10.1007\/978-3-642-17322-6_8"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.23"},{"key":"#cr-split#-e_1_3_2_2_25_1.1","doi-asserted-by":"crossref","unstructured":"Jens Kosiol Lars Fritsche Andy Sch\u00fcrr and Gabriele Taentzer. 2020. Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs. Journal of Logical and Algebraic Methods in Programming 115 ( 2020 ) 100565. htps: \/\/doi.org\/10.1016\/j.jlamp. 2020.100565 10.1016\/j.jlamp","DOI":"10.1016\/j.jlamp.2020.100565"},{"key":"#cr-split#-e_1_3_2_2_25_1.2","doi-asserted-by":"crossref","unstructured":"Jens Kosiol Lars Fritsche Andy Sch\u00fcrr and Gabriele Taentzer. 2020. Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs. Journal of Logical and Algebraic Methods in Programming 115 ( 2020 ) 100565. htps: \/\/doi.org\/10.1016\/j.jlamp. 2020.100565","DOI":"10.1016\/j.jlamp.2020.100565"},{"key":"e_1_3_2_2_27_1","article-title":"Least-change bidirectional model transformation with QVT-R and ATL","volume":"15","author":"Macedo Nuno","year":"2016","unstructured":"Nuno Macedo and Alcino Cunha . 2016 . Least-change bidirectional model transformation with QVT-R and ATL . Journal of Software and Systems Modeling 15 , 3 ( 2016 ), 783-810. htps:\/\/doi.org\/10.1007\/s10270-014-0437-x 10.1007\/s10270-014-0437-x Nuno Macedo and Alcino Cunha. 2016. Least-change bidirectional model transformation with QVT-R and ATL. Journal of Software and Systems Modeling 15, 3 ( 2016 ), 783-810. htps:\/\/doi.org\/10.1007\/s10270-014-0437-x","journal-title":"Journal of Software and Systems Modeling"},{"key":"e_1_3_2_2_28_1","unstructured":"Fernando Orejas Artur Boronat Hartmut Ehrig Frank Hermann and Hanna Sch\u00f6lzel. 2013. On Propagation-Based Concurrent Model Synchronization. Electronic Communication of the European Association of Software Science and Technology 57 ( 2013 ). htps:\/\/doi.org\/10.14279\/ tuj.eceasst. 57.871  Fernando Orejas Artur Boronat Hartmut Ehrig Frank Hermann and Hanna Sch\u00f6lzel. 2013. On Propagation-Based Concurrent Model Synchronization. Electronic Communication of the European Association of Software Science and Technology 57 ( 2013 ). htps:\/\/doi.org\/10.14279\/ tuj.eceasst. 57.871"},{"key":"e_1_3_2_2_29_1","first-page":"273","volume-title":"FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Lecture Notes in Computer Science","volume":"12076","author":"Orejas Fernando","year":"2020","unstructured":"Fernando Orejas , Elvira Pino , and Marisa Navarro . 2020 . Incremental Concurrent Model Synchronization using Triple Graph Grammars. In Fundamental Approaches to Software Engineering-23rd International Conference , FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Lecture Notes in Computer Science , Vol. 12076 ), Heike Wehrheim and Jordi Cabot (Eds.). Springer International Publishing, Cham , 273 - 293 . htps:\/\/doi.org\/10.1007\/978-3-030-45234-6_14 10.1007\/978-3-030-45234-6_14 Fernando Orejas, Elvira Pino, and Marisa Navarro. 2020. Incremental Concurrent Model Synchronization using Triple Graph Grammars. In Fundamental Approaches to Software Engineering-23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Lecture Notes in Computer Science, Vol. 12076 ), Heike Wehrheim and Jordi Cabot (Eds.). Springer International Publishing, Cham, 273-293. htps:\/\/doi.org\/10.1007\/978-3-030-45234-6_14"},{"key":"e_1_3_2_2_31_1","first-page":"151","volume-title":"20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings (Lecture Notes in Computer Science","volume":"903","author":"Sch\u00fcrr Andy","year":"1994","unstructured":"Andy Sch\u00fcrr . 1994 . Specification of Graph Translators with Triple Graph Grammars. In Graph-Theoretic Concepts in Computer Science , 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings (Lecture Notes in Computer Science , Vol. 903 ), Ernst W. Mayr, Gunther Schmidt, and Gottfried Tinhofer (Eds.). Springer, Berlin and Heidelberg , 151 - 163 . htps:\/\/doi.org\/10.1007\/3-540-59071-4_45 10.1007\/3-540-59071-4_45 Andy Sch\u00fcrr. 1994. Specification of Graph Translators with Triple Graph Grammars. In Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings (Lecture Notes in Computer Science, Vol. 903 ), Ernst W. Mayr, Gunther Schmidt, and Gottfried Tinhofer (Eds.). Springer, Berlin and Heidelberg, 151-163. htps:\/\/doi.org\/10.1007\/3-540-59071-4_45"},{"key":"e_1_3_2_2_32_1","first-page":"283","volume-title":"FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lecture Notes in Computer Science","volume":"10202","author":"Taentzer Gabriele","year":"2017","unstructured":"Gabriele Taentzer , Manuel Ohrndorf , Yngve Lamo , and Adrian Rutle . 2017 . Change-Preserving Model Repair. In Fundamental Approaches to Software Engineering-20th International Conference , FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lecture Notes in Computer Science , Vol. 10202 ), Marieke Huisman and Julia Rubin (Eds.). Springer, Berlin and Heidelberg , 283 - 299 . htps: \/\/doi.org\/10.1007\/978-3-662-54494-5_16 10.1007\/978-3-662-54494-5_16 Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, and Adrian Rutle. 2017. Change-Preserving Model Repair. In Fundamental Approaches to Software Engineering-20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10202 ), Marieke Huisman and Julia Rubin (Eds.). Springer, Berlin and Heidelberg, 283-299. htps: \/\/doi.org\/10.1007\/978-3-662-54494-5_16"},{"key":"e_1_3_2_2_33_1","article-title":"A change propagating model transformation Language","volume":"7","author":"Tratt Laurence","year":"2008","unstructured":"Laurence Tratt . 2008 . A change propagating model transformation Language . Journal of Object Technolology 7 , 3 ( 2008 ), 107-124. htps: \/\/doi.org\/10.5381\/jot. 2008. 7.3.a3 10.5381\/jot Laurence Tratt. 2008. A change propagating model transformation Language. Journal of Object Technolology 7, 3 ( 2008 ), 107-124. htps: \/\/doi.org\/10.5381\/jot. 2008. 7.3.a3","journal-title":"Journal of Object Technolology"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_3"},{"key":"e_1_3_2_2_35_1","first-page":"45","volume-title":"Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019 (CEUR Workshop Proceedings","volume":"2355","author":"Weidmann Nils","year":"2019","unstructured":"Nils Weidmann , Anthony Anjorin , Lars Fritsche , Gergely Varr\u00f3 , Andy Sch\u00fcrr , and Erhan Leblebici . 2019 . Incremental Bidirectional Model Transformation with eMoflon: : IBeX . In Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019 (CEUR Workshop Proceedings , Vol. 2355 ), James Cheney and Hsiang-Shang Ko (Eds.). CEUR-WS.org , 45 - 55 . Nils Weidmann, Anthony Anjorin, Lars Fritsche, Gergely Varr\u00f3, Andy Sch\u00fcrr, and Erhan Leblebici. 2019. Incremental Bidirectional Model Transformation with eMoflon: : IBeX. In Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019 (CEUR Workshop Proceedings, Vol. 2355 ), James Cheney and Hsiang-Shang Ko (Eds.). CEUR-WS.org, 45-55."},{"key":"e_1_3_2_2_36_1","volume-title":"Beanbag: Operation-based Synchronization with IntraRelations. In Grace Technical Reports, GRACE-TR-2008-04","author":"Xiong Yingfei","year":"2008","unstructured":"Yingfei Xiong , Zhenjiang Hu , Haiyan Zhao , Song Hui , Hong Mei , Yingfei Xiong , Haiyan Zhao , Zhenjiang Hu , Masato Takeichi , Song Hui , and Hong Mei . 2008 . Beanbag: Operation-based Synchronization with IntraRelations. In Grace Technical Reports, GRACE-TR-2008-04 . National Institute of Informatics . Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Song Hui, Hong Mei, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Song Hui, and Hong Mei. 2008. Beanbag: Operation-based Synchronization with IntraRelations. In Grace Technical Reports, GRACE-TR-2008-04. National Institute of Informatics."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_15"},{"key":"e_1_3_2_2_38_1","article-title":"Synchronizing concurrent model updates based on bidirectional transformation","volume":"12","author":"Xiong Yingfei","year":"2013","unstructured":"Yingfei Xiong , Hui Song , Zhenjiang Hu , and Masato Takeichi . 2013 . Synchronizing concurrent model updates based on bidirectional transformation . Journal of Software and Systems Modeling 12 , 1 ( 2013 ), 89-104. htps:\/\/doi.org\/10.1007\/s10270-010-0187-3 10.1007\/s10270-010-0187-3 Yingfei Xiong, Hui Song, Zhenjiang Hu, and Masato Takeichi. 2013. Synchronizing concurrent model updates based on bidirectional transformation. Journal of Software and Systems Modeling 12, 1 ( 2013 ), 89-104. htps:\/\/doi.org\/10.1007\/s10270-010-0187-3","journal-title":"Journal of Software and Systems Modeling"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426931","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426425.3426931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426931"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":37,"alternative-id":["10.1145\/3426425.3426931","10.1145\/3426425"],"URL":"https:\/\/doi.org\/10.1145\/3426425.3426931","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}