PALOMA: A Process Algebra for Located Markovian Agents
We present a novel stochastic process algebra that allows the expression of models representing systems comprised of populations of agents distributed over space, where the relative positions of agents influence their interaction. This language, PALOMA, is given both discrete and continuous semantics and it captures multi-class, multi-message Markovian agent models (M2MAM). Here we present the definition of the language and both forms of semantics, and demonstrate the use of the language to model a flu epidemic under various quarantine regimes.
KeywordsSpontaneous Action Discrete Event Simulation Process Algebra Infective Agent Spontaneous Transition
Unable to display preview. Download preview PDF.
- 2.Gribaudo, M., Cerotti, D., Bobbie, A.: Analysis of on-off policies in sensor networks using interacting Markovian agents. In: 6th Annual IEEE International Conference on Pervasive Computing and Communications, pp. 300–305. IEEE (2008)Google Scholar
- 6.Hillston, J.: A Compositional Approach to Performance Modelling. CUP (2005)Google Scholar
- 9.Sangiorgi, D., Walker, D.: The pi-calculus: a Theory of Mobile Processes. CUP (2003)Google Scholar
- 15.Efthymiou, X., Philippou, A.: A process calculus for spatially-explicit ecological models. In: Application of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology (AMCA-POP 2010), pp. 84–78 (2010)Google Scholar
- 17.Bakhshi, R., Endrullis, J., Endrullis, S., Fokkink, W., Haverkort, B.: Automating the mean-field method for large dynamic gossip networks. In: 7th International Conference on the Quantitative Evaluation of Systems, pp. 241–250. IEEE (2010)Google Scholar