A simple game-theoretic approach to checkonly QVT relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5563 LNCS, Issue , 2009, Pages 165-180

  Stevens, Perdita ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIDIRECTIONAL MODEL TRANSFORMATION; SIMPLE GAMES; SOURCE MODELS; TARGET MODEL; THEORETIC SEMANTICS; TRACE MODELS; TRACEABILITY LINKS;

LINGUISTICS; SEMANTICS;

TRANSLATION (LANGUAGES);

EID: 70350666389     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02408-5_12     Document Type: Conference Paper

References (11)

1. 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-30 (2008)
2. van Glabbeek, R.J.: The linear time - 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. 1, pp. 3-99. Elsevier, Amsterdam (2001)
3. Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 16-30. Springer, Heidelberg (2007)
4. Martin, D.A.: Borel determinacy. Annals of Mathematics. Second series 102(2), 363-371 (1975)
5. OMG. MOF2.0 query/view/transformation (QVT) version 1.0. OMG document formal/2008-04-03 (2008), www.omg.org
6. Romeikat, R., Roser, S., Müllender, P., Bauer, B.: Translation of QVT relations into QVT operational mappings. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 137-151. Springer, Heidelberg (2008)
7. Stevens, P.: A landscape of bidirectional model transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 408-424. Springer, Heidelberg (2008)
8. Stevens, P.: Towards an algebraic theory of bidirectional transformations. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 1-17. Springer, Heidelberg (2008)
9. Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. Journal of Software and Systems Modeling, SoSyM (2009) (to appear)
10. Stirling, C.: Bisimulation, model checking and other games. In: Notes for Mathflt Instructural Meeting on Games and Computation (1997), http://homepages.inf.ed.ac.uk/cps/mathfit.ps
11. Tenzer, J., Stevens, P.: GUIDE: Games with UML for interactive design exploration. Journal of Knowledge Based Systems 20(7) (October 2007)