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)