{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:59:50Z","timestamp":1763179190525,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030452339"},{"type":"electronic","value":"9783030452346"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T00:00:00Z","timestamp":1587081600000},"content-version":"vor","delay-in-days":107,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45234-6_14","type":"book-chapter","created":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T14:04:23Z","timestamp":1587391463000},"page":"273-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Incremental Concurrent Model Synchronization using Triple Graph Grammars"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3023-4006","authenticated-orcid":false,"given":"Fernando","family":"Orejas","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3376-5096","authenticated-orcid":false,"given":"Elvira","family":"Pino","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7937-0236","authenticated-orcid":false,"given":"Marisa","family":"Navarro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,17]]},"reference":[{"key":"14_CR1","unstructured":"Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques. ECEASST 49 (2012)"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/319732.319740","volume":"7","author":"U Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.A.: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3), 381\u2013416 (1982)","journal-title":"ACM Trans. Database Syst."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Model Synchronization: Mappings, Tiles, and Categories. In: Generative and\nTransformational Techniques in Software Engineering III, vol. 6491, pp. 92\u2013165. Springer\n(2011)","DOI":"10.1007\/978-3-642-18023-1_3"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Diskin, Z., K\u00f6nig, H., Lawford, M.: Multiple Model Synchronization with Multiary Delta\nLenses. In: Fundamental Approaches to Software Engineering, 21st International Conference,\nFASE 2018. Lecture Notes in Computer Science, vol. 10802, pp. 21\u201337. Springer\n(2018)","DOI":"10.1007\/978-3-319-89363-1_2"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to\nDelta-Based Bidirectional Model Transformations: The Symmetric Case. In: Model Driven\nEngineering Languages and Systems, MODELS 2011. Lecture Notes in Computer Science,\nvol. 6981, pp. 304\u2013318. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"14_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation.\nEATCS Monographs of Theoretical Comp. Sc., Springer (2006)"},{"key":"14_CR7","unstructured":"Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. ECEASST 10 (2008)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Taentzer, G.: A Formal Resolution Strategy for Operation-Based Conflicts\nin Model Versioning Using Graph Modifications. In: FASE 2011. Lecture Notes in\nComputer Science, vol. 6603, pp. 202\u2013216. Springer (2011)","DOI":"10.1007\/978-3-642-19811-3_15"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Quasi-inverses of schema mappings. ACM Trans. Database Syst. 33(2) (2008)","DOI":"10.1145\/1366102.1366108"},{"issue":"1","key":"14_CR10","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. Software and System Modeling 8(1), 21\u201343 (2009)","journal-title":"Software and System Modeling"},{"key":"14_CR11","unstructured":"Gottmann, S., Hermann, F., Nachtigall, N., Braatz, B., Ermel, C., Ehrig, H., Engel, T.: Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. In: AMT@MoDELS. Lecture Notes in Computer Science, vol. 1077. Springer (2013)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Pook, S., Rieke, J.: Preventing Information Loss in Incremental Model Synchronization\nby Reusing Elements. In: ECMFA 2011. Lecture Notes in Computer Science,\nvol. 6698, pp. 144\u2013159. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_11"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental Model Transformation for the Evolution\nof Model-Driven Systems. In: MoDELS 2006. Lecture Notes in Computer Science,\nvol. 4199, pp. 321\u2013335. Springer (2006)","DOI":"10.1007\/11880240_23"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent Model Synchronization with Conflict\nResolution Based on Triple Graph Grammars. In: FASE 2012. Lecture Notes in Computer\nScience, vol. 7212, pp. 178\u2013193. Springer (2012)","DOI":"10.1007\/978-3-642-28872-2_13"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Formal Analysis of Model Transformations based on Triple Graph Grammars. Math. Struct. in Comp. Sc. 24 (2014)","DOI":"10.1017\/S0960129512000370"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model\nSynchronization Based on Triple Graph Grammars. In: MODELS 2011. Lecture Notes in\nComputer Science, vol. 6981, pp. 668\u2013682. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour for\nModel Transformations Based on Triple Graph Grammars. In: ICGT 2010. Lecture Notes in\nComputer Science, vol. 6372, pp. 155\u2013170. Springer (2010)","DOI":"10.1007\/978-3-642-15928-2_11"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL 2011. pp. 371\u2013384. ACM (2011)","DOI":"10.1145\/1925844.1926428"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: Field, J., Hicks, M. (eds.) POPL\u201912. pp. 495\u2013508. ACM (2012)","DOI":"10.1145\/2103621.2103715"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. Theor. Inf. App. 39, 511\u2013545 (2005)","journal-title":"Theor. Inf. App."},{"key":"14_CR21","unstructured":"Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST 49 (2012)"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Lauder, M., Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Efficient Model Synchronization with\nPrecedence Triple Graph Grammars. In: ICGT 2012. Lecture Notes in Computer Science,\nvol. 7562, pp. 401\u2013415. Springer (2012)","DOI":"10.1007\/978-3-642-33654-6_27"},{"issue":"7","key":"14_CR23","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSE.2016.2620145","volume":"43","author":"N Macedo","year":"2017","unstructured":"Macedo, N., Tiago, J., Cunha, A.: A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. 43(7), 615\u2013640 (2017)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR24","unstructured":"Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Sch\u00f6lzel, H.: On Propagation-Based Concurrent Model Synchronization. In: BX 2013. Electronic Communications of the EASST, vol. 57, pp. 1\u201320. European Association of Software Science and Technology (2013)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Orejas, F., Pino, E.: Correctness of Incremental Model Synchronization with Triple Graph\nGrammars. In: ICMT 2014. Lecture Notes in Computer Science, vol. 8568, pp. 74\u201390.\nSpringer (2014)","DOI":"10.1007\/978-3-319-08789-4_6"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Pierce, B.C.: Harmony: The Art of Reconciliation. In: TGC 2005. Lecture Notes in Computer\nScience, vol. 3705, p. 1. Springer (2005)","DOI":"10.1007\/11580850_1"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: WG \u201994.\nLecture Notes in Computer Science, vol. 903, pp. 151\u2013163. Springer (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: ICGT 2008. pp. 411\u2013425 (2008)","DOI":"10.1007\/978-3-540-87405-8_28"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Towards an Algebraic Theory of Bidirectional Transformations. In: ICGT\u201908.\nLecture Notes in Computer Science, vol. 5214, pp. 1\u201317. Springer (2008)","DOI":"10.1007\/978-3-540-87405-8_1"},{"issue":"1","key":"14_CR30","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1), 7\u201320 (2010)","journal-title":"Software and System Modeling"},{"key":"14_CR31","unstructured":"Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. ECEASST 49 (2012)"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Towards sound, optimal, and flexible building from megamodels. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018. pp. 301\u2013311. ACM (2018)","DOI":"10.1145\/3239372.3239378"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Terwilliger, J.F., Cleve, A., Curino, C.: How Clean Is Your Sandbox? - Towards a Unified\nTheoretical Framework for Incremental Bidirectional Transformations. In: ICMT 2012. Lecture\nNotes in Computer Science, vol. 7307, pp. 1\u201323. Springer (2012)","DOI":"10.1007\/978-3-642-30476-7_1"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Trollmann, F., Albayrak, S.: Extending Model to Model Transformation Results from Triple\nGraph Grammars to Multiple Models. In: ICMT 2015. Lecture Notes in Computer Science,\nvol. 9152, pp. 214\u2013229. Springer (2015)","DOI":"10.1007\/978-3-319-21155-8_16"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Trollmann, F., Albayrak, S.: Decision Points for Non-determinism in Concurrent Model Synchronization\nwith Triple Graph Grammars. In: ICMT 2017. Lecture Notes in Computer Science,\nvol. 10374, pp. 35\u201350. Springer (2017)","DOI":"10.1007\/978-3-319-61473-1_3"},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model\ninconsistency fixing. In: ESEC\/FSE 2009. pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"},{"key":"14_CR37","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting Parallel Updates with Bidirectional\nModel Transformations. In: ICMT 2009. Lecture Notes in Computer Science, vol. 5563, pp.\n213\u2013228. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_15"},{"key":"14_CR38","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. Software and System Modeling 12, 89\u2013104 (2013)","journal-title":"Software and System Modeling"}],"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-45234-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T23:14:32Z","timestamp":1597187672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45234-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030452339","9783030452346"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45234-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 April 2020","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":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2020\/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":"81","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":"23","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":"28% - 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":"9","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 could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.","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)"}}]}}