Logo eprints

Modular performance modelling for mobile applications

Arijo, Niaz and Heckel, Reiko and Tribastone, Mirco and Gilmore, Stephen Modular performance modelling for mobile applications. In: Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11. ACM, pp. 329-334. ISBN 978-1-4503-0519-8 (2011)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1145/1958746.1958793
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 09 Feb 2015 10:58
Last Modified: 09 Feb 2015 10:58
URI: http://eprints.imtlucca.it/id/eprint/2580

Actions (login required)

Edit Item Edit Item