LRA_icpe2011-final.pdf (314.63 kB)
Download file

Modular performance modelling for mobile applications

Download (314.63 kB)
conference contribution
posted on 16.03.2012, 10:15 by Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
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.

History

Citation

ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering, 2011, pp. 329-334.

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

AM (Accepted Manuscript)

Published in

ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering

Publisher

ACM

isbn

978-1-4503-0519-8

Copyright date

2011

Available date

16/03/2012

Publisher version

http://dl.acm.org/citation.cfm?id=1958746

Notes

This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in CPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering, 2011, pp. 329-334. http://doi.acm.org/10.1145/1958746.1958793

Language

en