Modular Performance Modelling for Mobile Applications

Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore

doi:10.1145/1958746.1958793

Modular Performance Modelling for Mobile Applications

Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Proceedings of the 2Nd ACM/SPEC International Conference on Performance Engineering
Place of Publication	New York, NY, USA
Publisher	ACM
Pages	329-334
Number of pages	6
ISBN (Print)	978-1-4503-0519-8
DOIs	https://doi.org/10.1145/1958746.1958793
Publication status	Published - 2011

Access to Document

10.1145/1958746.1958793

http://doi.acm.org/10.1145/1958746.1958793

Cite this

@inproceedings{b7b29e68ef794345a9929c8584c0208d,

title = "Modular Performance Modelling for Mobile Applications",

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.",

author = "Niaz Arijo and Reiko Heckel and Mirco Tribastone and Stephen Gilmore",

year = "2011",

doi = "10.1145/1958746.1958793",

language = "English",

isbn = "978-1-4503-0519-8",

pages = "329--334",

booktitle = "Proceedings of the 2Nd ACM/SPEC International Conference on Performance Engineering",

publisher = "ACM",

}

TY - GEN

T1 - Modular Performance Modelling for Mobile Applications

AU - Arijo, Niaz

AU - Heckel, Reiko

AU - Tribastone, Mirco

AU - Gilmore, Stephen

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1145/1958746.1958793

DO - 10.1145/1958746.1958793

M3 - Conference contribution

SN - 978-1-4503-0519-8

SP - 329

EP - 334

BT - Proceedings of the 2Nd ACM/SPEC International Conference on Performance Engineering

PB - ACM

CY - New York, NY, USA

ER -

Modular Performance Modelling for Mobile Applications

Abstract

Access to Document

Fingerprint

Cite this