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). |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/IPDPS.2006.1639637 | IPDPS |
Keywords | Field | DocType |
choreographer design platform,pepa net,choreographer interoperates,subsequent performance analysis,classical performance,uml model,continuous-time markov chain,design environment,high-level uml model,xml metadata interchange format,mobile application,popular uml tool,mobile computer,mobile computing,xml,computer applications,throughput,application software,unified modeling language,writing,markov processes,high performance computing,continuous time markov chain | Mobile computing,Programming language,XML,Unified Modeling Language,XML Metadata Interchange,UML tool,Computer science,Parallel computing,Applications of UML,Computer Applications,Application software,Distributed computing | Conference |
ISBN | Citations | PageRank |
1-4244-0054-6 | 4 | 0.38 |
References | Authors | |
22 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stephen T. Gilmore | 1 | 500 | 29.28 |
Valentin Haenel | 2 | 67 | 4.97 |
Jane Hillston | 3 | 1657 | 125.09 |
Jennifer Tenzer | 4 | 113 | 5.18 |