Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/10206
Title: Modular performance modelling for mobile applications
Authors: Arijo, Niaz
Heckel, Reiko
Tribastone, Mirco
Gilmore, Stephen
First Published: 2011
Publisher: ACM
Citation: ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering, 2011, pp. 329-334.
Abstract: 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.
DOI Link: 10.1145/1958746.1958793
ISBN: 978-1-4503-0519-8
Links: http://dl.acm.org/citation.cfm?id=1958746
http://hdl.handle.net/2381/10206
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: © 2011 ACM. Deposited with reference to the publisher's archiving policy available on the publisher's website.
Description: 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
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
LRA_icpe2011-final.pdf314.63 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.