{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:41:43Z","timestamp":1769971303859,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548031","type":"print"},{"value":"9783642548048","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_3","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:59:16Z","timestamp":1395395956000},"page":"32-46","source":"Crossref","is-referenced-by-count":17,"title":["Bidirectionally Tolerating Inconsistency: Partial Transformations"],"prefix":"10.1007","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Balasubramaniam, S., Pierce, B.C.: What is a file synchronizer? In: Proceedings of MobiCom 1998 (October 1998)","DOI":"10.1145\/288235.288261"},{"key":"3_CR3","unstructured":"Balzer, R.: Tolerating inconsistency. In: Proceedings of ICSE 1991, pp. 158\u2013165. IEEE Computer Society\/ACM Press (1991)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Nathan Foster, J., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: Proceedings of POPL 2008 (January 2008)","DOI":"10.1145\/1328438.1328487"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol.\u00a07793, pp. 282\u2013296. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37057-1_21"},{"key":"3_CR6","unstructured":"Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Towards a repository of bx examples. In: Proceedings of Bx 2014 (2014)"},{"key":"3_CR7","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)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: The semantics of partial model transformations. In: Proceedings of ICSE Workshop on Modeling in Software Engineering, pp. 64\u201369 (June 2012)","DOI":"10.1109\/MISE.2012.6226016"},{"key":"3_CR9","unstructured":"Nathan Foster, J., Greenwald, M.B., Kirkegaard, C., Pierce, B.C., Schmitt, A.: Schema-directed data synchronization. Technical Report MS-CIS-05-02, University of Pennsylvania (March 2005)"},{"issue":"4","key":"3_CR10","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 Trans. Database Syst.\u00a013(4), 486\u2013524 (1988)","journal-title":"ACM Trans. Database Syst."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/3-540-53507-1_93","volume-title":"ICDT \u201990","author":"S.J. Hegner","year":"1990","unstructured":"Hegner, S.J.: Foundations of canonical update support for closed database views. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol.\u00a0470, pp. 422\u2013436. Springer, Heidelberg (1990)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"N\u00f6hrer, A., Biere, A., Egyed, A.: A comparison of strategies for tolerating inconsistencies during decision-making. In: 16th International Software Product Line Conference, SPLC 2012, pp. 11\u201320. ACM (2012)","DOI":"10.1145\/2362536.2362543"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/2.839317","volume":"33","author":"B. Nuseibeh","year":"2000","unstructured":"Nuseibeh, B., Easterbrook, S.M., Russo, A.: Leveraging inconsistency in software development. IEEE Computer\u00a033(4), 24\u201329 (2000)","journal-title":"IEEE Computer"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"OMG. MOF2.0 query\/view\/transformation (QVT) version 1.1. OMG document formal\/2009-12-05 (2009), \n                    \n                      www.omg.org","DOI":"10.1299\/jsmermd.2009._2A1-C20_1"},{"key":"3_CR15","unstructured":"Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. In: EC-EASST, vol.\u00a049 (2012)"},{"key":"3_CR16","unstructured":"Stevens, P., McKinna, J., Cheney, J.: Composers v0.1 in Bx Examples Repository, \n                    \n                      http:\/\/bx-community.wikidot.com\/examples:home\n                    \n                    \n                   (retrieved January 16, 2014)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Voigtl\u00e4nder, J., Hu, Z., Matsuda, K., Wang, M.: Combining syntactic and semantic bidirectionalization. In: Proc. ICFP, pp. 181\u2013192. ACM (2010)","DOI":"10.1145\/1932681.1863571"}],"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-642-54804-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T12:00:39Z","timestamp":1558872039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}