Title :
A design environment for mobile applications
Author :
Gilmore, Stephen ; Haenel, Valentin ; Hillston, Jane ; Tenzer, Jennifer
Author_Institution :
Lab. for Foundations of Comput. Sci., Edinburgh Univ.
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)
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; XML;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
Conference_Location :
Rhodes Island
Print_ISBN :
1-4244-0054-6
DOI :
10.1109/IPDPS.2006.1639637
