MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool
نویسندگان
چکیده
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.
منابع مشابه
Higher Moment Analysis of a Spatial Stochastic Process Algebra
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 a...
متن کاملOn the use of process algebra techniques in computational modelling of cancer initiation and development
Cancer research has been revolutionised by recent technological advances that allow scientists to produce extensive collections of experimental data, especially on the molecular and cellular level. Formal modelling is a necessary tool for integrating massive amounts of diverse measurement data into a coherent picture of disease development. Models can be used to test hypotheses about the role o...
متن کاملBio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread and to predict their future evolution. Most of the models in the literature are defined in terms of systems of differential equations and only a few of them propose stochastic simulation for the analysis. The main aim o...
متن کاملInvited Response to Computer Journal Lecture by Prof. Jane Hillston
The introduction of stochastic process algebra (SPA) has had a profound impact on the field of performance modelling. Hillston’s PEPA has been at the forefront of this development [1]. There are a number of reasons why the use of stochastic process algebra is attractive to the stochastic modeller. The parsimonious set of operators creates an almost programming-like simplicity to model specifica...
متن کاملA comparison of performance evaluation process algebra and generalized stochastic Petri nets
Generalized Stochastic Petri Nets (GSPN) and Performance Evaluation Process Algebra (PEPA) can both be used to study qualitative and quantitative behaviour of systems in a single environment. This paper presents a comparison of the two formalisms in terms of the facilities that they provide to the modeller, considering both the definition and the analysis of the
متن کامل