{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:50Z","timestamp":1725518930548},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_2","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"21-36","source":"Crossref","is-referenced-by-count":41,"title":["Algebraic Models for Bidirectional Model Synchronization"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K.: Design space of heterogeneous synchronization. In: Generative and Transformational Techniques in Software Engineering (2008)","DOI":"10.1007\/978-3-540-88643-3_1"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. TODS\u00a06(4), 557\u2013575 (1981)","journal-title":"TODS"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Pierce, B., Vaughan, J.: Relational lenses: a language for updatable views. In: PODS (2006)","DOI":"10.1145\/1142351.1142399"},{"key":"2_CR4","volume-title":"GaMMa 2006: Proc. Int. workshop on Global integrated model management","author":"G. Brunet","year":"2006","unstructured":"Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa 2006: Proc. Int. workshop on Global integrated model management. ACM Press, New York (2006)"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/319732.319740","volume":"7","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.: On the correct translation of update operations on relational views. TODS\u00a07(3), 381\u2013416 (1982)","journal-title":"TODS"},{"key":"2_CR6","unstructured":"Diskin, Z.: Algebra of bidirectional model synchronization. Technical Report CSRG-573, Department of Compuitng Science, University of Toronto (2008), \n                      \n                        ftp:\/\/ftp.cs.toronto.edu\/pub\/reports\/csrg\/573\/TR-CSRG-573.pdf"},{"key":"2_CR7","unstructured":"Diskin, Z., Diengel, J.: A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: Favre, J.-M., et al. (eds.) 3rd Int.Workshop on Metamodels, Schemas, Grammas and Ontologies for Reverse Engineering (2006)"},{"key":"2_CR8","series-title":"LNBIP 11","volume-title":"TOOLS Europe 2008","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z., Easterbrook, S., Dingel, J.: Engineering associations: from models to code and back through semantics. In: Paige, R., Meyer, B. (eds.) TOOLS Europe 2008. LNBIP 11, vol.\u00a011. Springer, Heidelberg (2008)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","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.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Foster, J., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: POPL, pp. 233\u2013246 (2005)","DOI":"10.1145\/1040305.1040325"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1145\/49346.50068","volume":"13","author":"G. Gottlob","year":"1988","unstructured":"Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM TODS\u00a013(4), 486\u2013524 (1988)","journal-title":"ACM TODS"},{"issue":"1","key":"2_CR12","first-page":"113","volume":"148","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars - A survey. ENTCS\u00a0148(1), 113\u2013150 (2006)","journal-title":"ENTCS"},{"key":"2_CR13","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998), \n                      \n                        http:\/\/www.kestrel.edu\/home\/people\/meertens\/"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems","author":"S. Mu","year":"2004","unstructured":"Mu, S., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302. Springer, Heidelberg (2004)"},{"key":"2_CR15","unstructured":"OMG, MOF QVT Final Adopted Specification. Formal\/05-11-01 (2005), \n                      \n                        http:\/\/www.omg.org\/docs\/ptc"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional model transformation in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:54Z","timestamp":1619524254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}