{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T05:52:37Z","timestamp":1791265957150,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540752080","type":"print"},{"value":"9783540752097","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_1","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T07:42:37Z","timestamp":1189496557000},"page":"1-15","source":"Crossref","is-referenced-by-count":48,"title":["Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions"],"prefix":"10.1007","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Vaughan, J.A., Pierce, B.C.: Relational lenses: A language for updateable views. In: Principles of Database Systems (PODS), Extended version available as University of Pennsylvania technical report MS-CIS-05-27 (2006)","DOI":"10.1145\/1142351.1142399"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"FASE 2007","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"1_CR3","doi-asserted-by":"crossref","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. ACM Transactions on Programming Languages and Systems (to appear, 2007) (preprint), available from http:\/\/www.cis.upenn.edu\/~bcpierce\/papers\/index.shtml","DOI":"10.1145\/1232420.1232424"},{"key":"1_CR4","unstructured":"Greenyer, J.: A study of technologies for model transformation: Reconciling TGGs with QVT. Master\u2019s thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany (July 2006)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/1014007.1014025","volume-title":"PEPM 2004","author":"Z. Hu","year":"2004","unstructured":"Hu, Z., Mu, S.-C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. In: PEPM 2004. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 178\u2013189. ACM Press, New York (2004)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Kawanaka, S., Hosoya, H.: biXid: a bidirectional transformation language for XML. In: ICFP 2006. Proceedings of the International Conference on Functional Programming, pp. 201\u2013214 (2006)","DOI":"10.1145\/1160074.1159830"},{"key":"1_CR7","series-title":"ENTCS","first-page":"113","volume-title":"Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Heckel, R. (ed.) Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques. ENTCS, vol.\u00a0148, pp. 113\u2013150. Elsevier Science Publ., Amsterdam (2006)"},{"key":"1_CR8","unstructured":"K\u00f6nigs, A.: Model transformation with triple graph grammars. In: Proceedings, Workshop on Model Transformations in Practice (September 2005)"},{"key":"1_CR9","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction. (unpublished manuscript) (June 1998), available from http:\/\/www.kestrel.edu\/home\/people\/meertens\/"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","first-page":"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.\u00a03302, pp. 2\u201320. Springer, Heidelberg (2004)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","first-page":"289","volume-title":"Mathematics of Program Construction","author":"S.-C. Mu","year":"2004","unstructured":"Mu, S.-C., Hu, Z., Takeichi, M.: An injective language for reversible computation. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 289\u2013313. Springer, Heidelberg (2004)"},{"key":"1_CR12","unstructured":"OMG. MOF2.0 query\/view\/transformation (QVT) adopted specification. OMG document ptc\/05-11-01 (2005), available from www.omg.org"},{"key":"1_CR13","unstructured":"Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: Workshop on Model Transformations in Practice (September 2005)"},{"key":"1_CR14","unstructured":"Witkop, S.: MDA users\u2019 requirements for QVT transformations. OMG document 05-02-04 (2005), available from www.omg.org"}],"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-75209-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:55:52Z","timestamp":1619520952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}