Modular Performance Modelling for Mobile Applications

Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore

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

Abstract / Description of output

We propose a model-based approach to analysing the performance of mobile applications where physical mobility and state changes are modelled by graph transformations from which a model in the Performance Evaluation Process Algebra (PEPA) is derived. To fight scalability problems with state space generation we adopt a modular solution where the graph transformation system is decomposed into views, for which labelled transition systems (LTS) are generated separately and later synchronised in PEPA. We demonstrate that the result of this modular analysis is equivalent to that of the monolithic approach and evaluate practicality and scalability by means of a case study.
Original languageEnglish
Title of host publicationProceedings of the 2Nd ACM/SPEC International Conference on Performance Engineering
Place of PublicationNew York, NY, USA
Number of pages6
ISBN (Print)978-1-4503-0519-8
Publication statusPublished - 2011


Dive into the research topics of 'Modular Performance Modelling for Mobile Applications'. Together they form a unique fingerprint.

Cite this