{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T11:22:50Z","timestamp":1764588170717,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030714994"},{"type":"electronic","value":"9783030715007"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T00:00:00Z","timestamp":1616198400000},"content-version":"vor","delay-in-days":78,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>When using multiple models to describe a (software) system, one can use a network of model transformations to keep the models consistent after changes. No strategy exists, however, to orchestrate the execution of transformations if the network has an arbitrary topology. In this paper, we analyse how often and in which order transformations need to be executed. We argue why linear execution bounds are too restrictive to be useful in practice and prove that there is no upper bound for the number of necessary executions. To avoid non-termination, we propose a conservative strategy that makes execution failures easier to understand. These insights help developers and users of transformation networks to understand under which circumstances their networks can terminate. Additionally, the proposed strategy helps them to find the cause when a network cannot restore consistency.<\/jats:p>","DOI":"10.1007\/978-3-030-71500-7_5","type":"book-chapter","created":{"date-parts":[[2021,3,19]],"date-time":"2021-03-19T13:12:14Z","timestamp":1616159534000},"page":"87-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Finding a Universal Execution Strategy for Model Transformation Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0392-5338","authenticated-orcid":false,"given":"Joshua","family":"Gleitze","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9711-8835","authenticated-orcid":false,"given":"Heiko","family":"Klare","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2832-3349","authenticated-orcid":false,"given":"Erik","family":"Burger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,3,20]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Anjorin, A., Rose, S., Deckwerth, F., and Sch\u00fcrr, A.: \u201cEfficient\u00a0Model Synchronization with View Triple Graph Grammars\u201d. In: Modelling Foundations and Applications, pp. 1\u201317. Springer International Publishing (2014)","DOI":"10.1007\/978-3-319-09195-2_1"},{"key":"5_CR2","unstructured":"Cleve, A., Kindler, E., Stevens, P., and Zaytsev, V.: \u201cMultidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)\u201d. Dagstuhl Reports 8(12), 1\u201348 (2019)"},{"key":"5_CR3","unstructured":"Di Rocco, J., Di Ruscio, D., Heinz, M., Iovino, L., L\u00e4mmel, R., and Pierantonio, A.: \u201cConsistency Recovery in Interactive Modeling\u201d. In: 3rd International Workshop on Executable Modeling co-Located with ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems. Vol-2019, pp. 116\u2013122. CEUR-WS.org (2017)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Gholizadeh, H., Wider, A., and Czarnecki, K.: \u201cA Three-Dimensional Taxonomy for Bidirectional Model Synchronization\u201d. Journal of Systems and Software 111, 298\u2013322 (2016)","DOI":"10.1016\/j.jss.2015.06.003"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Diskin, Z., K\u00f6nig, H., and Lawford, M.: \u201cMultiple Model Synchronization with Multiary Delta Lenses\u201d. In: Fundamental Approaches to Software Engineering, pp. 21\u201337. Springer International Publishing (2018)","DOI":"10.1007\/978-3-319-89363-1_2"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., and Orejas, F.: \u201cFrom State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case\u201d. In: Model Driven Engineering Languages and Systems, pp. 304\u2013318. Springer, Berlin Heidelberg (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K., Lara, J. de, Taentzer, G., Varr\u00f3, D., and Varr\u00f3-Gyapay, S.: \u201cTermination Criteria for Model Transformation\u201d. In: Fundamental Approaches to Software Engineering, pp. 49\u201363. Springer, Berlin Heidelberg (2005)","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Etien, A., Aranega, V., Blanc, X., and Paige, R.F.: \u201cChaining Model Transformations\u201d. In: First Workshop on the Analysis of Model Transformations, pp. 9\u201314. ACM (2012)","DOI":"10.1145\/2432497.2432500"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Etien, A., Muller, A., Legrand, T., and Blanc, X.: \u201cCombining Independent Model Transformations\u201d. In: 2010 ACM Symposium on Applied Computing, pp. 2237\u20132243. ACM (2010)","DOI":"10.1145\/1774088.1774557"},{"key":"5_CR10","unstructured":"Gleitze, J.: GitHub: Transformation Network Simulator, (2021). https:\/\/github.com\/jGleitz\/transformationnetwork-simulator (visited on 01\/14\/2021)"},{"key":"5_CR11","unstructured":"Gleitze, J.: Transformation Network Simulator, (2021). https:\/\/jgleitz.github.io\/transformationnetwork-simulator (visited on 01\/14\/2021)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Guissouma, H., Klare, H., Sax, E., and Burger, E.: \u201cAn Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management\u201d. In: 2018 44th Euromicro Conference on Software Engineering and Advanced Applications, pp. 298\u2013305. IEEE (2018)","DOI":"10.1109\/SEAA.2018.00056"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Klare, H.: \u201cMulti-model Consistency Preservation\u201d. In: 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 156\u2013161. ACM (2018)","DOI":"10.1145\/3270112.3275335"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Klare, H., and Gleitze, J.: \u201cCommonalities for Preserving Consistency of Multiple Models\u201d. In: 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, pp. 371\u2013378. IEEE (2019)","DOI":"10.1109\/MODELS-C.2019.00058"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Klare, H., Kramer, M.E., Langhammer, M., Werle, D., Burger, E., and Reussner, R.: \u201cEnabling consistency in view-based system development - The Vitruvius approach\u201d. Journal of Systems and Software 171 (2020)","DOI":"10.1016\/j.jss.2020.110815"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Klare, H., Syma, T., Burger, E., and Reussner, R.: \u201cA Categorization of Interoperability Issues in Networks of Transformations\u201d. In: 12th International Conference on Model Transformations. Journal of Object Technology (2019)","DOI":"10.5381\/jot.2019.18.3.a4"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"K\u00f6nigs, A., and Sch\u00fcrr, A.: \u201cMDI: A Rule-based Multi-document and Tool Integration Approach\u201d. Software and Systems Modeling 5(4), 349\u2013368 (2006)","DOI":"10.1007\/s10270-006-0016-x"},{"key":"5_CR18","unstructured":"Kusel, A., Etzlstorfer, J., Kapsammer, E., Langer, P., Retschitzegger, W., Schoenboeck, J., Schwinger, W., and Wimmer, M.: \u201cA Survey on Incremental Model Transformation Approaches\u201d. In: Workshop on Models and Evolution co-located with ACM\/IEEE 16th International Conference on Model Driven Engineering Languages and Systems. Vol-1090, pp. 4\u201313. CEUR-WS.org (2013)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"L\u00facio, L., Mustafiz, S., Denil, J., Vangheluwe, H., and Jukss, M.: \u201cFTG+PM: An Integrated Framework for Investigating Model Transformation Chains\u201d. In: SDL 2013: Model-Driven Dependability Engineering, pp. 182\u2013202. Springer Berlin Heidelberg (2013)","DOI":"10.1007\/978-3-642-38911-5_11"},{"key":"5_CR20","unstructured":"Macedo, N., Cunha, A., and Pacheco, H.: \u201cTowards a Framework for Multi-Directional Model Transformations\u201d. In: 3rd International Workshop on Bidirectional Transformations. Vol-1133. CEUR-WS.org (2014)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Macedo, N., Jorge, T., and Cunha, A.: \u201cA Feature-Based Classification of Model Repair Approaches\u201d. IEEE Transactions on Software Engineering 43(7), 615\u2013640","DOI":"10.1109\/TSE.2016.2620145"},{"key":"5_CR22","unstructured":"Object Management Group (OMG): \u201cMeta Object Facility (MOF) 2.0-Query\/View\/Transformation Specification\u201d, Version 1.3 (2016)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Pilgrim, J. von, Vanhooff, B., Schulz-Gerlach, I., and Berbers, Y.: \u201cConstructing and Visualizing Transformation Chains\u201d. In: Model Driven Architecture - Foundations and Applications, pp. 17\u201332. Springer Berlin Heidelberg (2008)","DOI":"10.1007\/978-3-540-69100-6_2"},{"key":"5_CR24","unstructured":"Reussner, R.H., Becker, S., Happe, J., Heinrich, R., Koziolek, A., Koziolek, H., Kramer, M., and Krogmann, K.: \u201cModeling and Simulating Software Architectures \u2013 the Palladio Approach\u201d. MIT Press (2016)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Samimi-Dehkordi, L., Zamani, B., and Kolahdouz-Rahimi, S.: \u201cBidirectional Model Transformation Approaches - A Comparative Study\u201d. In: 6th International Conference on Computer and Knowledge Engineering, pp. 314\u2013320. IEEE (2016)","DOI":"10.1109\/ICCKE.2016.7802159"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: \u201cSpecification of graph translators with triple graph grammars\u201d. In: Graph-Theoretic Concepts in Computer Science, pp. 151\u2013163. Springer Berlin Heidelberg (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Stevens, P.: \u201cA Landscape of Bidirectional Model Transformations\u201d. In: Generative and Transformational Techniques in Software Engineering II, pp. 408\u2013424. Springer Berlin Heidelberg (2008)","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Stevens, P.: \u201cBidirectional Model Transformations in QVT: Semantic Issues and Open Questions\u201d. Software and Systems Modeling 9(1), 7 (2010)","DOI":"10.1007\/s10270-008-0109-9"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Stevens, P.: \u201cConnecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels\u201d. Software and Systems Modeling 19(4), 935\u2013958 (2020)","DOI":"10.1007\/s10270-020-00788-4"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Stevens, P.: \u201cMaintaining consistency in networks of models: bidirectional transformations in the large\u201d. Software and Systems Modeling 19(1), 39\u201365 (2020)","DOI":"10.1007\/s10270-019-00736-x"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"St\u00fcnkel, P., K\u00f6nig, H., Lamo, Y., and Rutle, A.: \u201cMultimodel Correspondence through Inter-Model Constraints\u201d. In: 2nd International Conference on Art, Science, and Engineering of Programming Companion, pp. 9\u201317. ACM (2018)","DOI":"10.1145\/3191697.3191715"},{"key":"5_CR32","unstructured":"The Linux Foundation: OpenAPI Initiative, (2021). https:\/\/www.openapis.org\/ (visited on 01\/14\/2021)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Trollmann, F., and Albayrak, S.: \u201cExtending Model Synchronization Results from Triple Graph Grammars to Multiple Models\u201d. In: Theory and Practice of Model Transformations, pp. 91\u2013106. Springer International Publishing (2016)","DOI":"10.1007\/978-3-319-42064-6_7"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Trollmann, F., and Albayrak, S.: \u201cExtending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models\u201d. In: Theory and Practice of Model Transformations, pp. 214\u2013229. Springer International Publishing (2015)","DOI":"10.1007\/978-3-319-21155-8_16"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., and Berbers, Y.: \u201cUniTI: A Unified Transformation Infrastructure\u201d. In: Model Driven Engineering Languages and Systems, pp. 31\u201345. Springer Berlin Heidelberg (2007)","DOI":"10.1007\/978-3-540-75209-7_3"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., and Jouault, F.: \u201cTowards a General Composition Semantics for Rule-Based Model Transformation\u201d. In: Model Driven Engineering Languages and Systems, pp. 623\u2013637. Springer Berlin Heidelberg (2011)","DOI":"10.1007\/978-3-642-24485-8_46"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Song, H., Hu, Z., and Takeichi, M.: \u201cSynchronizing Concurrent Model Updates Based on Bidirectional Transformation\u201d. Software and Systems Modeling 12(1), 89\u2013104 (2013)","DOI":"10.1007\/s10270-010-0187-3"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-71500-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T00:13:06Z","timestamp":1616199186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-71500-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030714994","9783030715007"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-71500-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"20 March 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 April 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2021\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference changed to an online format due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}