Exploration games for UML software design
Jennifer Tenzer · ERA · 2006
The aim of this work is to use formal games as foundation for a design tool which provides support for the exploration and evaluation of software design in UML. The designer sets up a game on the basis of a UML model and repeatedly plays a game with the tool to detect flaws or incompleteness in the design. During a play the game definition including the underlying UML model may be incremented. This allows the modeller to add information while the game is being played and to react to discoveries which have been made during the play. This research builds on previous work which has been published in [1], [2] and [3].