Modelling network performance with a spatial stochastic process
algebra
V. Galpin
Proceedings of the 23rd IEEE International Conference on Advanced
Information Networking and Applications (AINA 2009), University of
Bradford, United Kingdom, 26-19 May 2009. 41-49.
Abstract
This paper shows how network performance can be modelled by a
stochastic process algebra which includes spatial concepts. The
concepts are added to PEPA and the motivation is that location of
actions or processes with respect to other parts of a system may
affect the time taken by an event. First a very general spatial
stochastic process algebra is presented. Locations are introduced
to both actions and processes, and are provided with weighted
directed graph or hypergraph structure. This general process algebra
is then made more concrete to illustrate its use in a networking
context. It is shown how analyses based on continuous time Markov
chains (CTMCs) can be expressed in terms of the directed graphs
used in the concrete process algebra.
Slides - PDF
Back to Publications page