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. © 2011 Springer-Verlag.
CITATION STYLE
Guenther, M. C., & Bradley, J. T. (2011). Higher moment analysis of a spatial stochastic process algebra. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6977 LNCS, pp. 87–101). https://doi.org/10.1007/978-3-642-24749-1_8
Mendeley helps you to discover research relevant for your work.