{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:28Z","timestamp":1725533848997},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024078"},{"type":"electronic","value":"9783642024085"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02408-5_12","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T11:10:04Z","timestamp":1246014604000},"page":"165-180","source":"Crossref","is-referenced-by-count":4,"title":["A Simple Game-Theoretic Approach to Checkonly QVT Relations"],"prefix":"10.1007","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Garcia, M.: Formalization of QVT-Relations: OCL-based Static Semantics and Alloy-based Validation. In: Proceedings of the Second Workshop on MDSD Today, October 2008, pp. 21\u201330 (2008)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J.: The linear time \u2013 branching time spectrum I; the semantics of concrete, sequential processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, ch.\u00a01, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-75209-7_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Greenyer","year":"2007","unstructured":"Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 16\u201330. Springer, Heidelberg (2007)"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"D.A. Martin","year":"1975","unstructured":"Martin, D.A.: Borel determinacy. Annals of Mathematics. Second series\u00a0102(2), 363\u2013371 (1975)","journal-title":"Annals of Mathematics. Second series"},{"key":"12_CR5","unstructured":"OMG. MOF2.0 query\/view\/transformation (QVT) version 1.0. OMG document formal\/2008-04-03 (2008), www.omg.org"},{"key":"12_CR6","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":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"GTTSE 2007","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proceedings of the International Conference on Graph Transformations, ICGT\u201908","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: Towards an algebraic theory of bidirectional transformations. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 1\u201317. Springer, Heidelberg (2008)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. Journal of Software and Systems Modeling, SoSyM (2009) (to appear)","DOI":"10.1007\/s10270-008-0109-9"},{"key":"12_CR10","unstructured":"Stirling, C.: Bisimulation, model checking and other games. In: Notes for Mathfit Instructural Meeting on Games and Computation (1997), http:\/\/homepages.inf.ed.ac.uk\/cps\/mathfit.ps"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Tenzer, J., Stevens, P.: GUIDE: Games with UML for interactive design exploration. Journal of Knowledge Based Systems\u00a020(7) (October 2007)","DOI":"10.1016\/j.knosys.2007.05.005"}],"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-02408-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:24:57Z","timestamp":1558394697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02408-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024078","9783642024085"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02408-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}