Modular performance modelling for mobile applications

Authors:
Niaz Arijo;Reiko Heckel;Mirco Tribastone;Stephen Gilmore
Affiliations:
University of Leicester;University of Leicester;Ludwig-Maximilians-Universität;University of Edinburgh
Venue:
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Year:
2011

Citing 8
Cited 0

Algebraic approach to single-pushout graph transformation

Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
An algebraic framework for the transformation of attributed graphs

Term graph rewriting
A compositional approach to performance modelling

A compositional approach to performance modelling
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach

Handbook of graph grammars and computing by graph transformation
A view-based approach to system modeling based on open graph transformation systems

Handbook of graph grammars and computing by graph transformation
Model-Based Performance Prediction in Software Development: A Survey

IEEE Transactions on Software Engineering
Stochastic Graph Transformation Systems

Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Algebra and logic for resource-based systems modelling

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.