Computing Publications

Publications Home » MASSPA-Modeller: A Spatial Stocha...

MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool

Marcel C. Guenther, Jeremy T. Bradley

National Workshop Paper
Imperial College Computing Student Workshop (ICCSW)
September, 2011
Abstract

We introduce MASSPA-Modeller, a visual modelling tool for the recently developed spatial stochastic process algebra MASSPA which describes Markovian Agent Models (MAM)s. The major advantage of using a visual editor to generate MASSPA models is that the laborious task of modelling the communication between agents is partially automated by the tool. Furthermore the tool can separately check the correctness of local and spatial aspects of the model and thereby help users to find mistakes. For the analysis of the resulting models MASSPA-Modeller uses the powerful GPA-analyser engine. Additionally we briefly summarise the latest developments in spatial stochastic process algebras.

Keywords
Performance Modelling and Analysis
Process Algebra
Stochastic Modelling
AESOP
Statistical analysis
PDF of full publication (301 kilobytes)
(need help viewing PDF files?)
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.