A design environment for mobile applications

S. Gilmore, V. Haenel, J. Hillston, J. Tenzer

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 languageEnglish
Title of host publicationParallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages10
ISBN (Print)1-4244-0054-6
Publication statusPublished - Apr 2006


  • 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


Dive into the research topics of 'A design environment for mobile applications'. Together they form a unique fingerprint.

Cite this