GUIDE: Games with UML for interactive design exploration

Jennifer Tenzer, Perdita Stevens

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a specification of what it means for the design to be correct. The central idea of this approach is that the designer can increment the game during a play and gradually add more detail to it. Specification and design are refined by repeated plays of the game. The designer stops playing when design and specification are detailed enough for his purpose and match each other. The interactive game approach helps to cope with incompleteness and informal definition of UML models, which make strictly formal verification techniques difficult. The designer may resolve these problems when they arise during a play or let the GUIDE tool determine how the play should proceed. We discuss the potential impact of GUIDE and tools like it on software development.
Original languageEnglish
Pages (from-to)652-670
Number of pages19
JournalKnowledge-Based Systems
Issue number7
Publication statusPublished - 2007

Keywords / Materials (for Non-textual outputs)

  • Formal games


Dive into the research topics of 'GUIDE: Games with UML for interactive design exploration'. Together they form a unique fingerprint.

Cite this