{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T01:34:58Z","timestamp":1769736898897,"version":"3.49.0"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T00:00:00Z","timestamp":1599523200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T00:00:00Z","timestamp":1599523200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100008967","name":"Philipps-Universit\u00e4t Marburg","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100008967","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple graph grammars (TGGs) specify model consistency by means of rules that describe how to create consistent pairs of models. These rules can be used to automatically derive further rules, which describe how to propagate changes from one model to the other or how to change one model in such a way that propagation is guaranteed to be possible. Restricting model synchronization to these derived rules, however, may lead to unnecessary deletion and recreation of model elements during change propagation. This is inefficient and may cause unnecessary information loss, i.e., when deleted elements contain information that is not represented in the second model, this information cannot be recovered easily. <jats:italic>Short-cut rules<\/jats:italic> have recently been developed to avoid unnecessary information loss by reusing existing model elements. In this paper, we show how to automatically derive <jats:italic>(short-cut) repair rules<\/jats:italic> from short-cut rules to propagate changes such that information loss is avoided and model synchronization is accelerated. The key ingredients of our rule-based model synchronization process are these repair rules and an <jats:italic>incremental pattern matcher<\/jats:italic> informing about suitable applications of them. We prove the termination and the correctness of this synchronization process and discuss its completeness. As a proof of concept, we have implemented this synchronization process in eMoflon, a state-of-the-art model transformation tool with inherent support of bidirectionality. Our evaluation shows that repair processes based on <jats:italic>(short-cut) repair rules<\/jats:italic> have considerably decreased information loss and improved performance compared to former model synchronization processes based on TGGs.<\/jats:p>","DOI":"10.1007\/s10009-020-00588-7","type":"journal-article","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T07:10:20Z","timestamp":1599721820000},"page":"335-368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars"],"prefix":"10.1007","volume":"23","author":[{"given":"Lars","family":"Fritsche","sequence":"first","affiliation":[]},{"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,8]]},"reference":[{"key":"588_CR1","unstructured":"HiPE:Highly (Scalable) Incremental Pattern matching Engine. https:\/\/github.com\/Arikae\/HiPE-Updatesite. Accessed 27 Aug 2020"},{"key":"588_CR2","unstructured":"Ikv++: Medini QVT. http:\/\/projects.ikv.de\/qvt. Accessed 27 Aug 2020"},{"key":"588_CR3","first-page":"1","volume-title":"Bidirectional Transformations\u2014International Summer School, Lecture Notes in Computer Science","author":"F Abou-Saleh","year":"2018","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Introduction to bidirectional transformations. In: Gibbons, J., Stevens, P. (eds.) Bidirectional Transformations\u2014International Summer School, Lecture Notes in Computer Science, vol. 9715, pp. 1\u201328. Springer, Berlin (2018)"},{"key":"588_CR4","unstructured":"Anjorin, A., Diskin, Z., Jouault, F., Ko, H., Leblebici, E., Westfechtel, B.: 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., pp. 15\u201330 (2017). http:\/\/ceur-ws.org\/Vol-1827\/paper6.pdf"},{"key":"588_CR5","unstructured":"Anjorin, A., Leblebici, E., Kluge, R., Sch\u00fcrr, A., Stevens, P.: A systematic approach and guidelines to developing a triple graph grammar. In: Cunha, A., Kindler, E. (eds.) Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), CEUR Workshop Proceedings, vol. 1396, pp. 66\u201380. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1396"},{"key":"588_CR6","doi-asserted-by":"publisher","unstructured":"Anjorin, A., Leblebici, E., Sch\u00fcrr, A., Taentzer, G.: A static analysis of non-confluent triple graph grammars for efficient model transformation. In: Giese, H., K\u00f6nig, B. (eds.) Graph Transformation\u20147th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22\u201324, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8571, pp. 130\u2013145. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-09108-2_9","DOI":"10.1007\/978-3-319-09108-2_9"},{"key":"588_CR7","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.49.707","author":"A Anjorin","year":"2012","unstructured":"Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Complex attribute manipulation in tggs with constraint-based programming techniques. Electron. Commun. EASST (2012). https:\/\/doi.org\/10.14279\/tuj.eceasst.49.707","journal-title":"Electron. Commun. EASST"},{"key":"588_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/S096012951200031X","author":"P Baldan","year":"2014","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Soboci\u0144ski, P.: Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. (2014). https:\/\/doi.org\/10.1017\/S096012951200031X","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"588_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10270-011-0199-7","volume":"11","author":"E Biermann","year":"2012","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227\u2013250 (2012)","journal-title":"Softw. Syst. Model."},{"key":"588_CR10","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-08789-4_8","volume-title":"Theory and Practice of Model Transformations","author":"D Blouin","year":"2014","unstructured":"Blouin, D., Plantec, A., Dissaux, P., Singhoff, F., Diguet, J.P.: Synchronization of models of rich languages with triple graph grammars: an experience report. In: Di Ruscio, D., Varr\u00f3, D. (eds.) Theory and Practice of Model Transformations, pp. 106\u2013121. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08789-4_8"},{"key":"588_CR11","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-030-16722-6_8","volume-title":"Fundamental Approaches to Software Engineering","author":"A Boronat","year":"2019","unstructured":"Boronat, A.: Offline delta-driven model transformation with dependency injection. In: H\u00e4hnle, R., van der Aalst, W. (eds.) Fundamental Approaches to Software Engineering, pp. 134\u2013150. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_8"},{"issue":"8","key":"588_CR12","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.1016\/j.infsof.2014.04.007","volume":"56","author":"H Bruneli\u00e8re","year":"2014","unstructured":"Bruneli\u00e8re, H., Cabot, J., Dup\u00e9, G., Madiot, F.: Modisco: a model driven reverse engineering framework. Inf. Softw. Technol. 56(8), 1012\u20131032 (2014). https:\/\/doi.org\/10.1016\/j.infsof.2014.04.007","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"588_CR13","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.5381\/jot.2017.16.1.a3","volume":"16","author":"J Cheney","year":"2017","unstructured":"Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. J. Object Technol. 16(1), 3:1\u20133:31 (2017). https:\/\/doi.org\/10.5381\/jot.2017.16.1.a3","journal-title":"J. Object Technol."},{"key":"588_CR14","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: Paige, R.F. (ed.) Theory and Practice of Model Transformations, pp. 260\u2013283. Springer, Berlin (2009)"},{"issue":"6","key":"588_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2011.10.1.a6","volume":"10","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1\u201325 (2011). https:\/\/doi.org\/10.5381\/jot.2011.10.1.a6","journal-title":"J. Object Technol."},{"key":"588_CR16","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) Fundamental Approaches to Software Engineering, pp. 72\u201386. Springer, Berlin (2007). https:\/\/doi.org\/10.1007\/978-3-540-71289-3_7"},{"key":"588_CR17","volume-title":"Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Berlin (2006)"},{"key":"588_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47980-3","volume-title":"Graph and Model Transformation\u2014General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series","author":"H Ehrig","year":"2015","unstructured":"Ehrig, H., Ermel, C., Golas, U., Hermann, F.: Graph and Model Transformation\u2014General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-662-47980-3"},{"key":"588_CR19","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014)","DOI":"10.1017\/S0960129512000357"},{"key":"588_CR20","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.54.771","author":"C Ermel","year":"2012","unstructured":"Ermel, C., Hermann, F., Gall, J., Binanzer, D.: Visual modeling and analysis of EMF model transformations based on triple graph grammars. ECEASST (2012). https:\/\/doi.org\/10.14279\/tuj.eceasst.54.771","journal-title":"ECEASST"},{"key":"588_CR21","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"2018","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code, 2nd edn. Addison-Wesley, Boston (2018)","edition":"2"},{"key":"588_CR22","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-030-04771-9_30","volume-title":"Software Technologies: Applications and Foundations","author":"L Fritsche","year":"2018","unstructured":"Fritsche, L., Kosiol, J., Sch\u00fcrr, A., Taentzer, G.: Short-cut rules. Sequential composition of rules avoiding unnecessary deletions. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) Software Technologies: Applications and Foundations, pp. 415\u2013430. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04771-9_30"},{"key":"588_CR23","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-030-16722-6_7","volume-title":"Fundamental Approaches to Software Engineering","author":"L Fritsche","year":"2019","unstructured":"Fritsche, L., Kosiol, J., Sch\u00fcrr, A., Taentzer, G.: Efficient model synchronization by automatically constructed repair processes. In: H\u00e4hnle, R., van der Aalst, W. (eds.) Fundamental Approaches to Software Engineering, pp. 116\u2013133. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_7"},{"key":"588_CR24","unstructured":"Giese, H., Hildebrandt, S.: Efficient model synchronization of large-scale models. Tech. Rep.\u00a028, Hasso-Plattner-Institut (2009)"},{"issue":"1","key":"588_CR25","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10270-012-0247-y","volume":"13","author":"H Giese","year":"2014","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Softw. Syst. Model. 13(1), 273\u2013299 (2014). https:\/\/doi.org\/10.1007\/s10270-012-0247-y","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"588_CR26","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009). https:\/\/doi.org\/10.1007\/s10270-008-0089-9","journal-title":"Softw. Syst. Model."},{"key":"588_CR27","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-21470-7_11","volume-title":"Modelling Foundations and Applications. Proceedings of the 7th European Conference on Modelling Foundations and Applications","author":"J Greenyer","year":"2011","unstructured":"Greenyer, J., Pook, S., Rieke, J.: Preventing information loss in incremental model synchronization by reusing elements. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) Modelling Foundations and Applications. Proceedings of the 7th European Conference on Modelling Foundations and Applications, pp. 144\u2013159. Springer, Berlin (2011). https:\/\/doi.org\/10.1007\/978-3-642-21470-7_11"},{"key":"588_CR28","unstructured":"Gurobi Optimization, I.: Gurobi optimizer reference manual (2017). https:\/\/www.gurobi.com\/wp-content\/plugins\/hd_documentations\/documentation\/7.0\/refman.pdf. Accessed 27 Aug 2020"},{"key":"588_CR29","doi-asserted-by":"publisher","unstructured":"Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient 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 \u201910, pp. 22\u201331. ACM, New York, NY, USA (2010) https:\/\/doi.org\/10.1145\/1866272.1866277","DOI":"10.1145\/1866272.1866277"},{"issue":"1","key":"588_CR30","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s10270-012-0309-1","volume":"14","author":"F Hermann","year":"2015","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1), 241\u2013269 (2015). https:\/\/doi.org\/10.1007\/s10270-012-0309-1","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"588_CR31","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10270-017-0617-6","volume":"18","author":"G Hinkel","year":"2019","unstructured":"Hinkel, G., Burger, E.: Change propagation and bidirectionality in internal transformation DSLs. Softw. Syst. Model. 18(1), 249\u2013278 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0617-6","journal-title":"Softw. Syst. Model."},{"key":"588_CR32","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Edit Lenses. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201912, pp. 495\u2013508. ACM, New York, NY, USA (2012). https:\/\/doi.org\/10.1145\/2103656.2103715","DOI":"10.1145\/2103656.2103715"},{"issue":"ICFP","key":"588_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3236769","volume":"2","author":"R Horn","year":"2018","unstructured":"Horn, R., Perera, R., Cheney, J.: Incremental relational lenses. Proc. ACM Program. Lang. 2(ICFP), 1\u201330 (2018). https:\/\/doi.org\/10.1145\/3236769","journal-title":"Proc. ACM Program. Lang."},{"key":"588_CR34","unstructured":"IBM ILOG CPLEX Optimization Studio CPLEX User\u2019s Manual (Version 12 Release 8). https:\/\/www.ibm.com\/support\/knowledgecenter\/SSSA5P_12.8.0\/ilog.odms.studio.help\/pdf\/usrcplex.pdf. Accessed 27 Aug 2020"},{"key":"588_CR35","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-17322-6_8","volume-title":"Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday","author":"F Klar","year":"2010","unstructured":"Klar, F., Lauder, M., K\u00f6nigs, A., Sch\u00fcrr, A.: Extended triple graph grammars with efficient and compatible graph translators. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, pp. 141\u2013174. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-17322-6_8"},{"key":"588_CR36","doi-asserted-by":"publisher","unstructured":"Ko, H., Zan, T., Hu, Z.: Bigul: a formally verified core language for putback-based bidirectional programming. In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20\u201322, 2016, pp. 61\u201372 (2016). https:\/\/doi.org\/10.1145\/2847538.2847544","DOI":"10.1145\/2847538.2847544"},{"key":"588_CR37","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-030-23611-3_3","volume-title":"Graph Transformation","author":"J Kosiol","year":"2019","unstructured":"Kosiol, J., Fritsche, L., Sch\u00fcrr, A., Taentzer, G.: Adhesive subcategories of functor categories with instantiation to partial triple graphs. In: Guerra, E., Orejas, F. (eds.) Graph Transformation, pp. 38\u201354. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23611-3_3"},{"key":"588_CR38","doi-asserted-by":"publisher","unstructured":"Kreowski, H.: Is parallelism already concurrency? Part 1: Derivations in graph grammars. In: Ehrig, H., Nagl, M., Rozenberg, G., Rosenfeld, A. (eds.) Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2\u20136, 1986, Lecture Notes in Computer Science, vol. 291, pp. 343\u2013360. Springer (1986). https:\/\/doi.org\/10.1007\/3-540-18771-5_63","DOI":"10.1007\/3-540-18771-5_63"},{"issue":"3","key":"588_CR39","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. Theor. Inf. Appl. 39(3), 511\u2013545 (2005). https:\/\/doi.org\/10.1051\/ita:2005028","journal-title":"Theor. Inf. Appl."},{"key":"588_CR40","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-642-33654-6_27","volume-title":"Graph Transformations","author":"M Lauder","year":"2012","unstructured":"Lauder, M., Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Efficient model synchronization with precedence triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Graph Transformations, pp. 401\u2013415. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-33654-6_27"},{"key":"588_CR41","unstructured":"Leblebici, E.: Inter-model consistency checking and restoration with triple graph grammars. Ph.D. thesis, Darmstadt University of Technology, Germany. http:\/\/tuprints.ulb.tu-darmstadt.de\/7426\/ (2018). Accessed 27 Aug 2020"},{"key":"588_CR42","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-61470-0_11","volume-title":"Graph Transformation","author":"E Leblebici","year":"2017","unstructured":"Leblebici, E., Anjorin, A., Fritsche, L., Varr\u00f3, G., Sch\u00fcrr, A.: Leveraging incremental pattern matching techniques for model synchronisation. In: de Lara, J., Plump, D. (eds.) Graph Transformation, pp. 179\u2013195. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_11"},{"key":"588_CR43","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-319-08789-4_10","volume-title":"Theory and Practice of Model Transformations","author":"E Leblebici","year":"2014","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: Developing eMoflon with eMoflon. In: Di Ruscio, D., Varr\u00f3, D. (eds.) Theory and Practice of Model Transformations, pp. 138\u2013145. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08789-4_10"},{"key":"588_CR44","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jvlc.2016.03.001","volume":"42","author":"E Leblebici","year":"2017","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Taentzer, G.: Multi-amalgamated triple graph grammars: formal foundation and application to visual language translation. J. Vis. Lang. Comput. 42, 99\u2013121 (2017). https:\/\/doi.org\/10.1016\/j.jvlc.2016.03.001","journal-title":"J. Vis. Lang. Comput."},{"key":"588_CR45","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: A catalogue of optimization techniques for triple graph grammars. In: Fill, H., Karagiannis, D., Reimer, U. (eds.) Modellierung 2014, 19.-21. M\u00e4rz 2014, Wien, \u00d6sterreich, LNI, vol. 225, pp. 225\u2013240. GI. https:\/\/dl.gi.de\/handle\/20.500.12116\/20941 (2014). Accessed 27 Aug 2020"},{"key":"588_CR46","doi-asserted-by":"crossref","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: Inter-model consistency checking using triple graph grammars and linear optimization techniques. In: International Conference on Fundamental Approaches to Software Engineering, pp. 191\u2013207. Springer (2017)","DOI":"10.1007\/978-3-662-54494-5_11"},{"issue":"3","key":"588_CR47","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10270-014-0437-x","volume":"15","author":"N Macedo","year":"2016","unstructured":"Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3), 783\u2013810 (2016). https:\/\/doi.org\/10.1007\/s10270-014-0437-x","journal-title":"Softw. Syst. Model."},{"key":"588_CR48","doi-asserted-by":"publisher","unstructured":"Ohrndorf, M., Pietsch, C., Kelter, U., Kehrer, T.: Revision: a tool for history-based model repair recommendations. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27\u2013June 03, 2018, pp. 105\u2013108. ACM (2018). https:\/\/doi.org\/10.1145\/3183440.3183498","DOI":"10.1145\/3183440.3183498"},{"key":"588_CR49","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.57.871","author":"F Orejas","year":"2013","unstructured":"Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Sch\u00f6lzel, H.: On propagation-based concurrent model synchronization. ECEASST (2013). https:\/\/doi.org\/10.14279\/tuj.eceasst.57.871","journal-title":"ECEASST"},{"key":"588_CR50","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-08789-4_6","volume-title":"Theory and Practice of Model Transformations","author":"F Orejas","year":"2014","unstructured":"Orejas, F., Pino, E.: Correctness of incremental model synchronization with triple graph grammars. In: Di Ruscio, D., Varr\u00f3, D. (eds.) Theory and Practice of Model Transformations, pp. 74\u201390. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08789-4_6"},{"key":"588_CR51","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science, vol. 903, pp. 151\u2013163. Springer, Berlin (1995). https:\/\/doi.org\/10.1007\/3-540-59071-4_45"},{"key":"588_CR52","unstructured":"Stojkovic, M., Laux, S., Anjorin, A.: Existing and new ideas on least change triple graph grammars. In: Eramo, R., Johnson, M. (eds.) 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, pp. 1\u20135. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-1827\/paper2.pdf"},{"key":"588_CR53","doi-asserted-by":"publisher","unstructured":"Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27\u2013October 1, 2003, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 3062, pp. 446\u2013453. Springer (2003). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_35","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"588_CR54","doi-asserted-by":"publisher","unstructured":"Taentzer, G., Ohrndorf, M., Lamo, Y., Rutle, A.: Change-preserving model repair. In: Fundamental Approaches to Software Engineering\u201420th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22\u201329, 2017, Proceedings, Lecture Notes in Computer Science, vol. 10202, pp. 283\u2013299. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_16","DOI":"10.1007\/978-3-662-54494-5_16"},{"key":"588_CR55","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-38883-5_13","volume-title":"Theory and Practice of Model Transformations","author":"G Varr\u00f3","year":"2013","unstructured":"Varr\u00f3, G., Deckwerth, F.: A rete network construction algorithm for incremental pattern matching. In: Duddy, K., Kappel, G. (eds.) Theory and Practice of Model Transformations, pp. 125\u2013140. Springer, Berlin (2013)"},{"key":"588_CR56","doi-asserted-by":"publisher","unstructured":"Wang, M., Gibbons, J., Wu, N.: Incremental updates for efficient bidirectional transformations. In: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP \u201911, pp. 392\u2013403. ACM, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/2034773.2034825","DOI":"10.1145\/2034773.2034825"},{"key":"588_CR57","unstructured":"Weidmann, N., Anjorin, A., Fritsche, L., Varr\u00f3, G., Sch\u00fcrr, A., Leblebici, E.: Incremental Bidirectional Model Transformation with eMoflon::IBeX. In: Cheney, J., Ko, H. (eds.) Proceedings of the 8th International Workshop on Bidirectional Transformations (BX), CEUR Workshop Proceedings, vol. 2355, pp. 45\u201355. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-2355\/paper4.pdf (2019)"},{"key":"588_CR58","doi-asserted-by":"publisher","unstructured":"Weidmann, N., Anjorin, A., Robrecht, P., Varr\u00f3, G.: Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In: Guerra, E., Orejas, F. (eds.) Graph Transformation\u201412th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11629, pp. 131\u2013140. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-23611-3_8","DOI":"10.1007\/978-3-030-23611-3_8"},{"key":"588_CR59","doi-asserted-by":"publisher","unstructured":"Weidmann, N., Oppermann, R., Robrecht, P.: A feature-based classification of triple graph grammar variants. In: Nierstrasz, O., Gray, J., Oliveira, B.C.d.S. (eds.) Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20\u201322, 2019, pp. 1\u201314. ACM (2019). https:\/\/doi.org\/10.1145\/3357766.3359529","DOI":"10.1145\/3357766.3359529"},{"issue":"1","key":"588_CR60","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10270-010-0187-3","volume":"12","author":"Y Xiong","year":"2013","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1), 89\u2013104 (2013). https:\/\/doi.org\/10.1007\/s10270-010-0187-3","journal-title":"Softw. Syst. Model."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00588-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00588-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00588-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T23:48:41Z","timestamp":1631058521000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00588-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,8]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["588"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00588-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,8]]},"assertion":[{"value":"8 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}