Exploration Games - A Formal Foundation for UML Design Tools
This paper extends the two-player games as used in verification to exploration games to fill this gap. An exploration game can be specified on the basis of a model which contains informally defined conditions as it is often the case with UML models. During a play the game may be modified in various ways such that it becomes easier to win for one of the players. It applies the exploration game framework to a simple variant of UML state machines to illustrate how playing a game helps to understand and improve the design.