Games for UML Software Design
In this paper we introduce the idea of using games as a driving metaphor for design tools which support designers working in UML. We use as our basis a long strand of work in verification and elsewhere. A key difference from that strand, however, is that we propose the incremental development of the rules of a game as part of the design process. We will argue that this approach may have two main advantages. First, it provides a natural means for tools to interactively help the designer to explore the consequences of design decisions. Second, by providing a smooth progression from informal exploration of decisions to full verification, it has the potential to lower the commitment cost of using formal verification. We discuss a simple example of a possible game development.
KeywordsModel Check Class Diagram Object Constraint Language Winning Strategy Winning Condition
Unable to display preview. Download preview PDF.
- 2.Fraenkel, A.S.: Selected bibliography on combinatorial games and some related material. The Electronic Journal of Combinatorics, DS2 (2002), Available from http://www.combinatorics.org/Surveys/ds2.ps
- 3.Grädel, E.: Model checking games. In: Proceedings of WOLLIC 2002. Electronic Notes in Theoretical Computer Science, vol. 67. Elsevier, Amsterdam (2002)Google Scholar
- 8.Kupferman, O., Vardi, M.Y.: Synthesising distributed systems. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001). IEEE Computer Society, Los Alamitos (June 2001)Google Scholar
- 10.OMG. Unified Modeling Language Specification version 1.4 (September 2001), OMG document formal/01-09-67 available from http://www.omg.org/technology/documents/formal/uml.htm
- 11.Stevens, P.: Abstract interpretations of games. In: Proc. 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, VMCAI 1998. Venezia TR, vol. CS98-12 (1998)Google Scholar
- 12.Stirling, C.: Model checking and other games. In: Notes for Mathfit Workshop on finite model theory. University of Wales, Swansea (July 1996)Google Scholar
- 14.Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1–13. Springer, Heidelberg (1995)Google Scholar