Jennifer Tenzer

Learn More
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(More)
The Unified Modeling Language (UML) [7] is a standardlanguage for modelling the design of object oriented softwaresystems. The currently available UML design toolsmainly provide support for drawing the UML diagrams, i.e.for recording a chosen design, but not for choosing a design.The design of a system is a non-trivial, iterative process anderrors which are(More)
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by compiling the UML model into a representation in the formally-defined modelling language of PEPA nets. The compilation process and subsequent performance analysis based on numerical(More)
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(More)
  • 1