GUIDE: Games with UML for interactive design exploration

13 years 4 months ago

Download homepages.inf.ed.ac.uk

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 speciﬁcation 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. Speciﬁcation and design are reﬁned by repeated plays of the game. The designer stops playing when design and speciﬁcation are detailed enough for his purpose and match each other. The interactive game approach helps to cope with incompleteness and informal deﬁnition of UML models, which make strictly formal veriﬁcation techniques difﬁcult. 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. Key words: Interactive software design, UML, formal games

Jennifer Tenzer, Perdita Stevens

Real-time Traffic