eprintid: 2580
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/80
datestamp: 2015-02-09 10:58:13
lastmod: 2015-02-09 10:58:13
status_changed: 2015-02-09 10:58:13
type: book_section
metadata_visibility: show
creators_name: Arijo, Niaz
creators_name: Heckel, Reiko
creators_name: Tribastone, Mirco
creators_name: Gilmore, Stephen
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: Modular performance modelling for mobile applications
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.
date: 2011
date_type: published
publisher: ACM
pagerange: 329-334
id_number: doi:10.1145/1958746.1958793
refereed: TRUE
isbn: 978-1-4503-0519-8
book_title: Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11
official_url: http://dx.doi.org/10.1145/1958746.1958793
citation:   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)