A design environment for mobile applications

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 solution of a Continuous-Time Markov Chain is supported by a software tool, the Choreographer design platform. Choreographer interoperates with popular UML tools by reading and writing UML models in the XML Metadata Interchange format (XMI).

• Type: Conference
• Year: 2006
• Where: IPPS
• Authors: Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer
• Keywords: Continuous-Time Markov Chain, Distributed And Parallel Computing, IPPS 2006, Popular Uml Tools, UML Models