Games for UML Software Design

Perdita Stevens, Jennifer Tenzer

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationFormal Methods for Components and Objects
Subtitle of host publicationFirst International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
EditorsFrankS. Boer, MarcelloM. Bonsangue, Susanne Graf, Willem-Paul Roever
PublisherSpringer-Verlag GmbH
Number of pages20
ISBN (Electronic)978-3-540-39656-7
ISBN (Print)978-3-540-20303-2
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'Games for UML Software Design'. Together they form a unique fingerprint.

Cite this