Abstract
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)
| Original language | English |
|---|---|
| Title of host publication | Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International |
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Number of pages | 10 |
| ISBN (Print) | 1-4244-0054-6 |
| DOIs | |
| Publication status | Published - Apr 2006 |
Keywords
- Markov processes
- Unified Modeling Language
- XML
- mobile computing
- Choreographer design platform
- PEPA nets
- UML models
- XML Metadata Interchange format
- continuous-time Markov chain
- mobile computing applications
- performance analysis
- software performance measures
- software tool
- Application software
- Computer applications
- High performance computing
- Mobile computing
- Performance analysis
- Software tools
- Throughput
- Unified modeling language
- Writing