{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T23:31:02Z","timestamp":1794439862223,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370564","type":"print"},{"value":"9783642370571","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_21","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:37:04Z","timestamp":1361198224000},"page":"282-296","source":"Crossref","is-referenced-by-count":9,"title":["Enforcing QVT-R with mu-Calculus and Games"],"prefix":"10.1007","author":[{"given":"Julian","family":"Bradfield","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11693017_20","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2006","unstructured":"Boronat, A., Cars\u00ed, J.\u00c1., Ramos, I.: Algebraic Specification of a Model Transformation Engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 262\u2013277. Springer, Heidelberg (2006)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Bradfield, J.C., Stirling, C.: Modal mu-calculi. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, vol.\u00a03, pp. 721\u2013756. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28872-2_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Bradfield","year":"2012","unstructured":"Bradfield, J., Stevens, P.: Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 194\u2013208. Springer, Heidelberg (2012)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-04425-0_19","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Lara de","year":"2009","unstructured":"de Lara, J., Guerra, E.: Formal Support for QVT-Relations with Coloured Petri Nets. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 256\u2013270. Springer, Heidelberg (2009)"},{"key":"21_CR5","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":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J. Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing query\/view\/transformation with triple graph grammars. Software and System Modeling\u00a09(1), 21\u201346 (2010)","journal-title":"Software and System Modeling"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-642-24485-8_49","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Hermann","year":"2011","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on Triple Graph Grammars. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 668\u2013682. Springer, Heidelberg (2011)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"OMG. MOF2.0 query\/view\/transformation (QVT) version 1.1. OMG document formal\/2009-12-05 (2009), \n                    \n                      http:\/\/www.omg.org","DOI":"10.1299\/jsmermd.2009._2A1-C20_1"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-69927-9_10","volume-title":"Theory and Practice of Model Transformations","author":"R. Romeikat","year":"2008","unstructured":"Romeikat, R., Roser, S., M\u00fcllender, P., Bauer, B.: Translation of QVT Relations into QVT Operational Mappings. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 137\u2013151. Springer, Heidelberg (2008)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A. Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"issue":"1","key":"21_CR11","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. Journal of Software and Systems Modeling (SoSyM)\u00a09(1), 7\u201320 (2010)","journal-title":"Journal of Software and Systems Modeling (SoSyM)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT Relations. Journal of Software and Systems Modeling, SoSyM (2011); Published online March 16, 2011","DOI":"10.1007\/s10270-011-0198-8"},{"key":"21_CR13","unstructured":"Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. EC-EASST, 049 (2012)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/978-3-642-04425-0_59","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Wimmer","year":"2009","unstructured":"Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W.: Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 727\u2013732. Springer, Heidelberg (2009)"}],"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-37057-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:18:10Z","timestamp":1557548290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_21","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}