Research output

Conference Paper (in Formal Publication) ()

Studying the effects of adding spatiality to a process algebra model

Citation
Maharaj S, McCaig C & Shankland C (2009) Studying the effects of adding spatiality to a process algebra model In: Clark A, Guerriero ML (ed.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009, Edinburgh, UK: University of Edinburgh. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK, 26.8.2009 - 26.8.2009, Edinburgh, pp. 153-158.

Abstract
We use NetLogo to create simulations of two models of disease transmission originally expressed in WSCCS. This allows us to introduce spatiality into the models and explore the consequences of having different contact structures among the agents. In previous work, mean field equations were derived from the WSCCS models, giving a description of the aggregate behaviour of the overall population of agents. These results turned out to differ from results obtained by another team using cellular automata models, which differ from process algebra by being inherently spatial. By using NetLogo we are able to explore whether spatiality, and resulting differences in the contact structures in the two kinds of models, are the reason for this different results. Our tentative conclusions, based at this point on informal observations of simulation results, are that space does indeed make a big difference. If space is ignored and individuals are allowed to mix randomly, then the simulations yield results that closely match the mean field equations, and consequently also match the associated global transmission terms (explained below). At the opposite extreme, if individuals can only contact their immediate neighbours, the simulation results are very different from the mean field equations (and also do not match the global transmission terms). These results are not surprising, and are consistent with other cellular automata-based approaches. We found that it was easy and convenient to implement and simulate the WSCCS models within NetLogo, and we recommend this approach to anyone wishing to explore the effects of introducing spatiality into a process algebra model.

Subject headings
Communicable diseases; Transmission Mathematical models

StatusPublished
EditorClark A, Guerriero ML
AuthorsMaharaj Savi, McCaig Chris, Shankland Carron
Publication date2009
Date of public distribution26/08/2009
URLhttp://www.dcs.ed.ac.uk/…/proceedings.pdf
PublisherUniversity of Edinburgh
Place of publicationEdinburgh, UK
LanguageEnglish

Journal
8th Workshop on Process Algebra and Stochastically Timed Activities (2009///)

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal