Computing Publications

Publications Home » Higher moment analysis of a spati...

Higher moment analysis of a spatial stochastic process algebra

Marcel C. Guenther, Jeremy T. Bradley

Conference or Workshop Paper
EPEW 2011, 8th European Performance Engineering Workshop
October, 2011
Lecture Notes in Computer Science
Volume 6977
pp.87–101
Springer
DOI 10.1007/978-3-642-24749-1_8
Abstract

We introduce a spatial stochastic process algebra called MASSPA, which provides a formal behavioural description of Markovian Agent Models, a spatial stochastic modelling framework. We provide a translation to a master equation which governs the underlying transition behaviour. This provides a means of simulation and thus comparison of numerical results with simulation that was previously not available. On the theoretical side, we develop a higher moment analysis to allow quantities such as variance to be produced for spatial stochastic models in performance analysis for the first time. We compare the simulation results against resulting ODEs for both mean and standard deviations of model component counts and finish by analysing a distributed wireless sensor network model.

Keywords
AESOP
Performance Modelling and Analysis
Process Algebra
Statistical analysis
Stochastic Modelling
PDF of Extended version (453 kilobytes)
(need help viewing PDF files?)
PDF of full publication (495 kilobytes)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.