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.


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