{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T17:01:52Z","timestamp":1759683712099},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136870"},{"type":"electronic","value":"9783642136887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13688-7_5","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:49:39Z","timestamp":1277812179000},"page":"61-76","source":"Crossref","is-referenced-by-count":13,"title":["From State- to Delta-Based Bidirectional Model Transformations"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J.N. Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst.\u00a029(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: Proc. 35th POPL (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"5_CR3","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":"5_CR4","doi-asserted-by":"crossref","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: ICFP, pp. 47\u201358 (2007)","DOI":"10.1145\/1291151.1291162"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars. In: ICGT, pp. 411\u2013425 (2008)","DOI":"10.1007\/978-3-540-87405-8_28"},{"key":"5_CR6","unstructured":"Object Management Group: MOF query \/ views \/ transformations specification 1.0 (2008), http:\/\/www.omg.org\/docs\/formal\/08-04-03.pdf"},{"issue":"1","key":"5_CR7","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":"5_CR8","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: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 21\u201336. Springer, Heidelberg (2008)"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/j.jcss.2006.10.024","volume":"73","author":"J.N. Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M., Kirkegaard, C., Pierce, B., Schmitt, A.: Exploiting schemas in data synchronization. J. Comput. Syst. Sci.\u00a073(4), 669\u2013689 (2007)","journal-title":"J. Comput. Syst. Sci."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1109\/TSE.2009.30","volume":"99","author":"M. Antkiewicz","year":"2009","unstructured":"Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of framework-specific modeling languages. IEEE Transactions on Software Engineering\u00a099 (RapidPosts), 795\u2013824 (2009)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"5_CR12","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":"5_CR13","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D.: Differencing and merging of architectural views. In: ASE, pp. 47\u201358 (2006)","DOI":"10.1109\/ASE.2006.33"},{"issue":"5","key":"5_CR14","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T. Mens","year":"2002","unstructured":"Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Software Eng.\u00a028(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Czarnecki, K., Antkiewicz, M.: Model-versioning-in-the-large: Algebraic foundations and the tile notation. In: ICSE 2009 Workshop on Comparison and Versioning of Software Models, pp. 7\u201312 (2009), doi:10.1109\/CVSM.2009.5071715","DOI":"10.1109\/CVSM.2009.5071715"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-540-79980-1_19","volume-title":"Algebraic Methodology and Software Technology","author":"M. Johnson","year":"2008","unstructured":"Johnson, M., Rosebrugh, R.: Constant complements, reversibility and universal view updates. In: Meseguer, J., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 238\u2013252. Springer, Heidelberg (2008)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44466-1_12","volume-title":"Data Warehousing and Knowledge Discovery","author":"H. Liefke","year":"2000","unstructured":"Liefke, H., Davidson, S.: View maintenance for hierarchical semistructured data. In: Kambayashi, Y., Mohania, M., Tjoa, A.M. (eds.) DaWaK 2000. LNCS, vol.\u00a01874, p. 114. Springer, Heidelberg (2000)"},{"issue":"1","key":"5_CR18","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 Systems Modeling\u00a08(1), 21\u201343 (2009)","journal-title":"Software and Systems Modeling"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04425-0_26","volume-title":"Model Driven Engineering Languages and Systems","author":"I. R\u00e1th","year":"2009","unstructured":"R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 342\u2013356. Springer, Heidelberg (2009)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/11787044_27","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"C. Amelunxen","year":"2006","unstructured":"Amelunxen, C., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: MOFLON: A standard-compliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 361\u2013375. Springer, Heidelberg (2006)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-02408-5_15","volume-title":"Theory and Practice of Model Transformations","author":"Y. Xiong","year":"2009","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting parallel updates with bidirectional model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 213\u2013228. Springer, Heidelberg (2009)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: Alignment and view update. Technical Report MS-CIS-10-01, University of Pennsylvania (2010)","DOI":"10.1145\/1863543.1863572"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13688-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:04Z","timestamp":1606185724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13688-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136870","9783642136887"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13688-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}