{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T15:29:59Z","timestamp":1750087799373,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_2","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:04:43Z","timestamp":1522746283000},"page":"21-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Multiple Model Synchronization with Multiary Delta Lenses"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8025-4630","authenticated-orcid":false,"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6304-6311","authenticated-orcid":false,"given":"Harald","family":"K\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3161-2176","authenticated-orcid":false,"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"key":"2_CR1","unstructured":"Diskin, Z., K\u00f6nig, H., Lawford, M.: Multiple model synchronization with multiary delta lenses. Technical report. McMaster Centre for Software Certification, McSCert-2017-10-01, McMaster University (2017). \nhttp:\/\/www.mcscert.ca\/projects\/mcscert\/wp-content\/uploads\/2017\/10\/Multiple-Model-Synchronization-with-Multiary-Delta-Lenses-ZD.pdf"},{"issue":"6","key":"2_CR2","first-page":"1","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)","journal-title":"J. Object Technol."},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-24485-8_22","volume-title":"Model Driven Engineering Languages and Systems","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304\u2013318. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-24485-8_22"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: Palsberg, J., Abadi, M. (eds.) Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 12\u201314 January 2005, Long Beach, California, USA, pp. 233\u2013246. ACM (2005). \nhttps:\/\/doi.org\/10.1145\/1040305.1040325","DOI":"10.1145\/1040305.1040325"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-642-24485-8_49","volume-title":"Model Driven Engineering Languages and Systems","author":"F Hermann","year":"2011","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 668\u2013682. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-24485-8_49"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: Ball, T., Sagiv, M. (eds.) Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, 26\u201328 January 2011, Austin, TX, USA, pp. 371\u2013384. ACM (2011). \nhttps:\/\/doi.org\/10.1145\/1926385.1926428","DOI":"10.1145\/1926385.1926428"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: Field, J., Hicks, M. (eds.) Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, 22\u201328 January 2012, Philadelphia, Pennsylvania, USA, pp. 495\u2013508. ACM (2012). \nhttps:\/\/doi.org\/10.1145\/2103656.2103715","DOI":"10.1145\/2103656.2103715"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.5381\/jot.2017.16.1.a2","volume":"16","author":"M Johnson","year":"2017","unstructured":"Johnson, M., Rosebrugh, R.D.: Symmetric delta lenses and spans of asymmetric delta lenses. J. Object Technol. 16(1), 2:1\u20132:32 (2017). \nhttps:\/\/doi.org\/10.5381\/jot.2017.16.1.a2","journal-title":"J. Object Technol."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1017\/S0960129511000442","volume":"22","author":"M Johnson","year":"2012","unstructured":"Johnson, M., Rosebrugh, R.D., Wood, R.J.: Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 22(1), 25\u201342 (2012). \nhttps:\/\/doi.org\/10.1017\/S0960129511000442","journal-title":"Math. Struct. Comput. Sci."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-61482-3_10","volume-title":"Modelling Foundations and Applications","author":"H K\u00f6nig","year":"2017","unstructured":"K\u00f6nig, H., Diskin, Z.: Efficient consistency checking of interrelated models. In: Anjorin, A., Espinoza, H. (eds.) ECMFA 2017. LNCS, vol. 10376, pp. 161\u2013178. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-61482-3_10"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-006-0016-x","volume":"5","author":"A K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: MDI: a rule-based multi-document and tool integration approach. Softw. Syst. Model. 5(4), 349\u2013368 (2006). \nhttps:\/\/doi.org\/10.1007\/s10270-006-0016-x","journal-title":"Softw. Syst. Model."},{"key":"2_CR12","unstructured":"Macedo, N., Cunha, A., Pacheco, H.: Towards a framework for multidirectional model transformations. In: Proceedings of the Workshops of the EDBT\/ICDT 2014 Joint Conference (EDBT\/ICDT 2014), 28 March 2014, Athens, Greece, pp. 71\u201374 (2014). \nhttp:\/\/ceur-ws.org\/Vol-1133\/paper-11.pdf"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-30477-7_2","volume-title":"Programming Languages and Systems","author":"S-C Mu","year":"2004","unstructured":"Mu, S.-C., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 2\u201320. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30477-7_2"},{"key":"2_CR14","first-page":"1","volume":"57","author":"F Orejas","year":"2013","unstructured":"Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Sch\u00f6lzel, H.: On propagation-based concurrent model synchronization. ECEASST 57, 1\u201319 (2013). \nhttp:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/871","journal-title":"ECEASST"},{"issue":"1","key":"2_CR15","doi-asserted-by":"crossref","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. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Stevens, P.: Bidirectional transformations in the large. In: 20th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 17\u201322 September 2017, Austin, TX, USA, pp. 1\u201311 (2017). \nhttps:\/\/doi.org\/10.1109\/MODELS.2017.8","DOI":"10.1109\/MODELS.2017.8"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:05:56Z","timestamp":1522746356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}