{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T15:11:31Z","timestamp":1789744291288,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642244841","type":"print"},{"value":"9783642244858","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_22","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"304-318","source":"Crossref","is-referenced-by-count":51,"title":["From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Hermann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. In: ICFP, pp. 193\u2013204 (2010)","DOI":"10.1145\/1863543.1863572"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","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.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z.: Model synchronization: Mappings, tiles, and categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol.\u00a06491, pp. 92\u2013165. Springer, Heidelberg (2011)"},{"key":"22_CR5","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. Journal of Object technology\u00a010, 6:1\u20136:25 (2011)","journal-title":"Journal of Object technology"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-87875-9_2","volume-title":"Model Driven Engineering Languages and Systems","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 21\u201336. Springer, Heidelberg (2008)"},{"key":"22_CR7","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. Tech. Rep. GSDLAB-TR 2011-05-03, GSD Lab, University of Waterloo (2011), \n                    \n                      http:\/\/gsd.uwaterloo.ca\/node\/338"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst.\u00a029(3) (2007)","DOI":"10.1145\/1232420.1232424"},{"issue":"1","key":"22_CR9","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\u00a08(1), 21\u201343 (2009)","journal-title":"Software and System Modeling"},{"key":"22_CR10","series-title":"LNCS","first-page":"662","volume-title":"MODELS 2011","author":"F. Hermann","year":"2011","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on TGG. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 662\u2013676. Springer, Heidelberg (2011)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL (2011)","DOI":"10.1145\/1926385.1926428"},{"issue":"1-2","key":"22_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10990-008-9025-5","volume":"21","author":"Z. Hu","year":"2008","unstructured":"Hu, Z., Mu, S.C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation\u00a021(1-2), 89\u2013118 (2008)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"22_CR13","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998), \n                    \n                      http:\/\/www.kestrel.edu\/home\/people\/meertens\/"},{"key":"22_CR14","series-title":"LNCS","first-page":"273","volume-title":"MODELS 2011","author":"H. Song","year":"2011","unstructured":"Song, H., Huang, G., Chauvel, F., Zhang, W., Sun, Y., Mei, H.: Instant and incremental QVT transformation for runtime models. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 273\u2013288. Springer, Heidelberg (2011)"},{"issue":"1","key":"22_CR15","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\u00a09(1), 7\u201320 (2010)","journal-title":"Software and System Modeling"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In: ASE, pp. 54\u201365 (2005)","DOI":"10.1145\/1101908.1101919"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE, pp. 164\u2013173 (2007)","DOI":"10.1145\/1321631.1321657"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC\/SIGSOFT FSE, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Software and Systems Modeling (to appear)","DOI":"10.1007\/s10270-010-0187-3"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T10:52:17Z","timestamp":1554893537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}