@inproceedings{3b92bd0de11b471b83ba0021257ca895,
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.",
keywords = "Graph transformation, Mobility, Modularity, Performance modelling, Process algebra",
author = "Niaz Arijo and Reiko Heckel and Mirco Tribastone and Stephen Gilmore",
year = "2011",
doi = "10.1145/1958746.1958793",
language = "English",
isbn = "9781450305198",
series = "ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering",
pages = "329--334",
booktitle = "ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering",
note = "2nd Joint WOSP/SIPEW International Conference on Performance Engineering, ICPE 2011 ; Conference date: 14-03-2011 Through 16-03-2011",
}