{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:08Z","timestamp":1750308428762,"version":"3.41.0"},"reference-count":59,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T00:00:00Z","timestamp":1694563200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Helmholtz Association (HGF) and by KASTEL Security Research Labs","award":["46.23.03"],"award-info":[{"award-number":["46.23.03"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2023,9,30]]},"abstract":"<jats:p>\n            When developers describe a software system with multiple models, such as architecture diagrams, deployment descriptions, and source code, these models must represent the system in a uniform way, i.e., they must be and stay\n            <jats:italic>consistent<\/jats:italic>\n            . One means to automatically preserve consistency after changes to models are model transformations, of which bidirectional transformations that preserve consistency between two models have been well researched. To preserve consistency between multiple models, such transformations can be combined to networks. When transformations are developed independently and reused modularly, the resulting network can be of arbitrary topology. For such networks, no universal strategy exists to orchestrate the execution of transformations such that the resulting models are consistent.\n          <\/jats:p>\n          <jats:p>In this article, we prove that termination of such a strategy can only be guaranteed if it is incomplete, i.e., if it is allowed to fail to restore consistency for some changes although an execution order of transformations exists that yields consistent models. We propose such a strategy, for which we prove termination and show that and why it makes it easier for users of model transformation networks to understand the reasons whenever the strategy fails. In addition, we provide a simulator for the comparison of different execution strategies. These findings help transformation developers and users in understanding when and why they can expect the execution of a transformation network to terminate and when they can even expect it to succeed. Furthermore, the proposed strategy guarantees them termination and supports them in finding the reason whenever it is not successful.<\/jats:p>","DOI":"10.1145\/3543845","type":"journal-article","created":{"date-parts":[[2022,6,24]],"date-time":"2022-06-24T10:05:06Z","timestamp":1656065106000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations"],"prefix":"10.1145","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9711-8835","authenticated-orcid":false,"given":"Heiko","family":"Klare","sequence":"first","affiliation":[{"name":"KASTEL \u2013 Institute of Information Security andDependability, Karlsruhe Institute of Technology, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0392-5338","authenticated-orcid":false,"given":"Joshua","family":"Gleitze","sequence":"additional","affiliation":[{"name":"KASTEL \u2013 Institute of Information Security andDependability, Karlsruhe Institute of Technology, Germany"}]}],"member":"320","published-online":{"date-parts":[[2023,9,13]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_1_2_1","DOI":"10.1007\/s10270-019-00752-x"},{"doi-asserted-by":"publisher","key":"e_1_3_1_3_1","DOI":"10.1007\/978-3-319-09195-2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_1_4_1","DOI":"10.1007\/978-3-642-17322-6_11"},{"doi-asserted-by":"publisher","key":"e_1_3_1_5_1","DOI":"10.1007\/s10270-021-00879-w"},{"doi-asserted-by":"publisher","key":"e_1_3_1_6_1","DOI":"10.1007\/s10270-011-0197-9"},{"doi-asserted-by":"publisher","key":"e_1_3_1_7_1","DOI":"10.1017\/S0960129512000369"},{"doi-asserted-by":"publisher","key":"e_1_3_1_8_1","DOI":"10.1007\/s10270-019-00762-9"},{"doi-asserted-by":"publisher","key":"e_1_3_1_9_1","DOI":"10.4230\/DagRep.8.12.1"},{"key":"e_1_3_1_10_1","first-page":"116","volume-title":"3rd International Workshop on Executable Modeling (EXE) co-located with ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","author":"Rocco Juri Di","year":"2017","unstructured":"Juri Di Rocco, Davide Di Ruscio, Marcel Heinz, Ludovico Iovino, Ralf L\u00e4mmel, and Alfonso Pierantonio. 2017. Consistency recovery in interactive modeling. In 3rd International Workshop on Executable Modeling (EXE) co-located with ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). CEUR-WS.org, 116\u2013122. Retrieved from http:\/\/ceur-ws.org\/Vol-2019\/exe_6.pdf."},{"doi-asserted-by":"publisher","key":"e_1_3_1_11_1","DOI":"10.1016\/j.jss.2015.06.003"},{"doi-asserted-by":"publisher","key":"e_1_3_1_12_1","DOI":"10.1007\/978-3-662-54494-5_14"},{"doi-asserted-by":"publisher","key":"e_1_3_1_13_1","DOI":"10.1007\/978-3-319-89363-1_2"},{"doi-asserted-by":"publisher","key":"e_1_3_1_14_1","DOI":"10.1007\/978-3-642-24485-8_22"},{"doi-asserted-by":"publisher","key":"e_1_3_1_15_1","DOI":"10.1007\/978-3-540-31984-9_5"},{"doi-asserted-by":"publisher","key":"e_1_3_1_16_1","DOI":"10.1145\/2432497.2432500"},{"doi-asserted-by":"publisher","key":"e_1_3_1_17_1","DOI":"10.1145\/1774088.1774557"},{"unstructured":"Joshua Gleitze. 2020a. Transformation Network Simulator (Application). Retrieved from https:\/\/jgleitz.github.io\/transformationnetwork-simulator.","key":"e_1_3_1_18_1"},{"unstructured":"Joshua Gleitze. 2020b. Transformation Network Simulator (GitHub Repository). Retrieved from https:\/\/github.com\/jGleitz\/transformationnetwork-simulator.","key":"e_1_3_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_3_1_20_1","DOI":"10.1007\/978-3-030-71500-7_5"},{"doi-asserted-by":"publisher","key":"e_1_3_1_21_1","DOI":"10.1109\/SEAA.2018.00056"},{"doi-asserted-by":"publisher","key":"e_1_3_1_22_1","DOI":"10.1145\/3270112.3275335"},{"doi-asserted-by":"publisher","key":"e_1_3_1_23_1","DOI":"10.5445\/IR\/1000133724"},{"doi-asserted-by":"publisher","key":"e_1_3_1_24_1","DOI":"10.1109\/MODELS-C.2019.00058"},{"doi-asserted-by":"publisher","key":"e_1_3_1_25_1","DOI":"10.5445\/IR\/1000145276"},{"doi-asserted-by":"publisher","key":"e_1_3_1_26_1","DOI":"10.1016\/j.jss.2020.110815"},{"doi-asserted-by":"publisher","key":"e_1_3_1_27_1","DOI":"10.5445\/IR\/1000121444"},{"doi-asserted-by":"publisher","key":"e_1_3_1_28_1","DOI":"10.5381\/jot.2019.18.3.a4"},{"doi-asserted-by":"publisher","key":"e_1_3_1_29_1","DOI":"10.1007\/s10270-006-0016-x"},{"key":"e_1_3_1_30_1","first-page":"4","volume-title":"Workshop on Models and Evolution (ME) co-located with 6th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)","author":"Kusel Angelika","year":"2013","unstructured":"Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Philip Langer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, and Manuel Wimmer. 2013. A survey on incremental model transformation approaches. In Workshop on Models and Evolution (ME) co-located with 6th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS). CEUR-WS.org, 4\u201313. Retrieved from http:\/\/ceur-ws.org\/Vol-1090\/1.pdf."},{"doi-asserted-by":"publisher","key":"e_1_3_1_31_1","DOI":"10.5445\/IR\/1000069366"},{"doi-asserted-by":"publisher","key":"e_1_3_1_32_1","DOI":"10.1007\/s10270-012-0291-7"},{"doi-asserted-by":"publisher","key":"e_1_3_1_33_1","DOI":"10.1007\/978-3-642-38911-5_11"},{"key":"e_1_3_1_34_1","volume-title":"3rd International Workshop on Bidirectional Transformations (BX) (Vol-1133)","author":"Macedo Nuno","year":"2014","unstructured":"Nuno Macedo, Alcino Cunha, and Hugo Pacheco. 2014. Towards a framework for multi-directional model transformations. In 3rd International Workshop on Bidirectional Transformations (BX) (Vol-1133). CEUR-WS.org. Retrieved from http:\/\/ceur-ws.org\/Vol-1133\/paper-11.pdf."},{"doi-asserted-by":"publisher","key":"e_1_3_1_35_1","DOI":"10.1109\/TSE.2016.2620145"},{"unstructured":"Object Management Group (OMG). 2015. Meta Object Facility (MOF). Retrieved from http:\/\/www.omg.org\/spec\/MOF\/2.5.","key":"e_1_3_1_36_1"},{"unstructured":"Object Management Group (OMG). 2016. Meta Object Facility (MOF) 2.0\u2013Query\/View\/Transformation Specification. Retrieved from http:\/\/www.omg.org\/spec\/QVT\/1.3.","key":"e_1_3_1_37_1"},{"doi-asserted-by":"publisher","key":"e_1_3_1_38_1","DOI":"10.5555\/3036121"},{"doi-asserted-by":"publisher","key":"e_1_3_1_39_1","DOI":"10.1109\/ICCKE.2016.7802159"},{"doi-asserted-by":"publisher","key":"e_1_3_1_40_1","DOI":"10.1007\/3-540-59071-4_45"},{"doi-asserted-by":"publisher","key":"e_1_3_1_41_1","DOI":"10.5555\/1197540"},{"doi-asserted-by":"publisher","key":"e_1_3_1_42_1","DOI":"10.1007\/978-3-540-88643-3_10"},{"doi-asserted-by":"publisher","key":"e_1_3_1_43_1","DOI":"10.1007\/s10270-008-0109-9"},{"doi-asserted-by":"publisher","key":"e_1_3_1_44_1","DOI":"10.1007\/s10270-019-00736-x"},{"doi-asserted-by":"publisher","key":"e_1_3_1_45_1","DOI":"10.1007\/s10270-020-00788-4"},{"doi-asserted-by":"publisher","key":"e_1_3_1_46_1","DOI":"10.1007\/978-3-030-45234-6_17"},{"doi-asserted-by":"publisher","key":"e_1_3_1_47_1","DOI":"10.5381\/jot.2021.20.1.a2"},{"doi-asserted-by":"publisher","key":"e_1_3_1_48_1","DOI":"10.1145\/3191697.3191715"},{"unstructured":"The Linux Foundation. 2021. OpenAPI Initiative. Retrieved from https:\/\/www.openapis.org\/.","key":"e_1_3_1_49_1"},{"doi-asserted-by":"publisher","key":"e_1_3_1_50_1","DOI":"10.1007\/978-3-319-21155-8_16"},{"doi-asserted-by":"publisher","key":"e_1_3_1_51_1","DOI":"10.1007\/978-3-319-42064-6_7"},{"doi-asserted-by":"publisher","key":"e_1_3_1_52_1","DOI":"10.1007\/978-3-540-75209-7_3"},{"doi-asserted-by":"publisher","key":"e_1_3_1_53_1","DOI":"10.1007\/11841883_19"},{"doi-asserted-by":"publisher","key":"e_1_3_1_54_1","DOI":"10.1007\/978-3-540-69100-6_2"},{"doi-asserted-by":"publisher","key":"e_1_3_1_55_1","DOI":"10.1007\/978-3-540-69927-9_11"},{"doi-asserted-by":"publisher","key":"e_1_3_1_56_1","DOI":"10.1007\/978-3-642-24485-8_46"},{"doi-asserted-by":"publisher","key":"e_1_3_1_57_1","DOI":"10.1007\/s10270-009-0134-3"},{"doi-asserted-by":"publisher","key":"e_1_3_1_58_1","DOI":"10.1145\/3426425.3426932"},{"key":"e_1_3_1_59_1","volume-title":"22nd Workshop Software-Reengineering & Evolution (WSRE\u201920)","author":"Weidmann Nils","year":"2020","unstructured":"Nils Weidmann and Stefan Sauer. 2020. Applying bidirectional transformations in industrial contexts: Challenges and solutions. In 22nd Workshop Software-Reengineering & Evolution (WSRE\u201920). Gesellschaft f\u00fcr Informatik e.V. (GI). Retrieved from https:\/\/fg-sre.gi.de\/fileadmin\/FG\/SRE\/Forschung."},{"doi-asserted-by":"publisher","key":"e_1_3_1_60_1","DOI":"10.1007\/s10270-010-0187-3"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543845","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3543845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:39Z","timestamp":1750268979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,13]]},"references-count":59,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9,30]]}},"alternative-id":["10.1145\/3543845"],"URL":"https:\/\/doi.org\/10.1145\/3543845","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2023,9,13]]},"assertion":[{"value":"2021-10-31","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-05-30","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}