{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:12:39Z","timestamp":1649164359598},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T00:00:00Z","timestamp":1300233600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s10270-011-0198-8","type":"journal-article","created":{"date-parts":[[2011,3,15]],"date-time":"2011-03-15T13:23:47Z","timestamp":1300195427000},"page":"175-199","source":"Crossref","is-referenced-by-count":14,"title":["A simple game-theoretic approach to checkonly QVT Relations"],"prefix":"10.1007","volume":"12","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,16]]},"reference":[{"issue":"1-2","key":"198_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1006\/inco.1999.2820","volume":"156","author":"R.-J. Back","year":"2000","unstructured":"Back R.-J., Wright J.: Contracts, games, and refinement. Inf. Comput. 156(1-2), 25\u201345 (2000)","journal-title":"Inf. Comput."},{"key":"198_CR2","doi-asserted-by":"crossref","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Algebraic specification of a model transformation engine. In: Baresi, L., Heckel, R. (eds.) Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27\u201328, 2006, Proceedings, Lecture Notes in Computer Science, vol. 3922, pp. 262\u2013277. Springer, New York (2006)","DOI":"10.1007\/11693017_20"},{"issue":"2","key":"198_CR3","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot J., Claris\u00f3 R., Guerra E., de Lara J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"198_CR4","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. Grace meeting, notes, state of the, art, outlook. In: Paige, R.F. (ed.) Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29\u201330, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5563, pp. 260\u2013283. Springer, New York (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"198_CR5","first-page":"256","volume-title":"Proceedings of MODELS\u201909. Lecture Notes in Computer Science vol. 5795","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) Proceedings of MODELS\u201909. Lecture Notes in Computer Science vol. 5795, pp. 256\u2013270. Springer, New York (2009)"},{"key":"198_CR6","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the uml. In: Proceeding of the 28th International Conference on Software Engineering, pp. 381\u2013390 (2006)","DOI":"10.1145\/1134285.1134339"},{"issue":"3","key":"198_CR7","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J.N. Foster","year":"2007","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 Trans. Program. Lang. Syst. 29(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"198_CR8","unstructured":"Garcia, M.: Formalization of QVT-Relations: OCL-based static semantics and alloy-based validation. In: Proceedings of the Second Workshop on MDSD Today, pp. 21\u201330, October 2008"},{"key":"198_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra, Chap. 1","author":"R.J. Glabbeek van","year":"2001","unstructured":"Glabbeek R.J.: The linear time\u2014branching time spectrum I; the semantics of concrete, sequential processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds) Handbook of Process Algebra, Chap. 1, pp. 3\u201399. Elsevier, Amsterdam (2001)"},{"key":"198_CR10","volume-title":"Automata, Logics, and Infinite Games: A Guide to Current Research. LNCS, vol. 2500","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds): Automata, Logics, and Infinite Games: A Guide to Current Research. LNCS, vol. 2500. Springer, New york (2002)"},{"issue":"1","key":"198_CR11","doi-asserted-by":"crossref","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. Softw. Syst. Model. 9(1), 21\u201346 (2010)","journal-title":"Softw. Syst. Model."},{"key":"198_CR12","unstructured":"Kiegeland, J., Eichler, H.: medini QVT workshop. http:\/\/projects.ikv.de\/qvt\/downloads\/22 . February 2008. Slides presented by ikv++ technologies at the QVT Workshop in Enschede, Telematica Institute (2008)"},{"issue":"12","key":"198_CR13","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"F.J. Lucas","year":"2009","unstructured":"Lucas F.J., Molina F., Toval A.: A systematic review of uml model consistency management. Inf. Softw. Technol. 51(12), 1631\u20131645 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"198_CR14","doi-asserted-by":"crossref","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"D.A. Martin","year":"1975","unstructured":"Martin D.A.: Borel determinacy. Ann. Math. 102(2), 363\u2013371 (1975)","journal-title":"Ann. Math."},{"key":"198_CR15","doi-asserted-by":"crossref","unstructured":"OMG.: MOF2.0 query\/view\/transformation (QVT) version 1.1. OMG document formal\/2009-12-05, 2009. http:\/\/www.omg.org","DOI":"10.1299\/jsmermd.2009._2A1-C20_1"},{"key":"198_CR16","doi-asserted-by":"crossref","unstructured":"Romeikat, R., Roser, S., M\u00fcllender, P., Bauer, B.: Translation of QVT relations into QVT operational mappings. In: ICMT \u201908: Proceedings of the 1st international conference on Theory and Practice of Model Transformations, pp. 137\u2013151. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_10"},{"key":"198_CR17","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: Generative and Transformational Techniques in Software Engineering II. Lecture Notes in Computer Science, vol. 5235, pp. 408\u2013424. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"198_CR18","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Towards an algebraic theory of bidirectional transformations. In: Proceedings of the International Conference on Graph Transformations, ICGT\u201908. Lecture Notes in Computer Science, vol. 5214, pp. 1\u201317. Springer, Berlin (2008, September)","DOI":"10.1007\/978-3-540-87405-8_1"},{"key":"198_CR19","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT Relations. In: Proceedings of the International Conference on Model Transformations, ICMT\u201909. Lecture Notes in Computer Science. Springer, Berlin (2009, June)","DOI":"10.1007\/978-3-642-02408-5_12"},{"issue":"1","key":"198_CR20","doi-asserted-by":"crossref","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. J. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"J. Softw. Syst. Model."},{"key":"198_CR21","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 (1997)"},{"key":"198_CR22","doi-asserted-by":"crossref","unstructured":"Tenzer, J., Stevens, P.: GUIDE: games with UML for interactive design exploration. J. Knowl. Based Syst. 20(7) (2007)","DOI":"10.1016\/j.knosys.2007.05.005"},{"key":"198_CR23","unstructured":"Wimmer, M., Kappel, G., Sch\u00f6nb\u00f6ck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A petri net based debugging environment for qvt relations. In: ASE 2009, 24th IEEE\/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16\u201320, 2009, pp. 3\u201314. IEEE Computer Society (2009)"},{"key":"198_CR24","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W.: Reviving qvt relations: model-based debugging using colored petri nets. In: MODELS \u201909: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, pp. 727\u2013732, Berlin, Heidelberg. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_59"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0198-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0198-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0198-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T09:26:05Z","timestamp":1637400365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0198-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,16]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["198"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0198-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,16]]}}}