Home

PALOMA at a glance

PALOMA is a language for the modelling and the analysis of systems composed by a multitude of spatially distributed interacting agents, whose spatial location is also relevant in determining their interaction.

You can find a detailed description of the language in the following papers:

PALOMA: A Process Algebra for Located Markovian Agents. Cheng Feng and Jane Hillston. In the 11th international conference on Quantitative Evaluation of Systems (QEST 2014). Preprint version.

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. Cheng Feng, Jane Hillston and Vashti Galpin. ACM Transactions on Modeling and Computer Simulation (TOMACS) 26.4 (2016): 26. link.

The PALOMA Eclipse Plug-in

The PALOMA Eclipse Plug-in is a fully-featured development environment for PALOMA modelling.

• Built on the powerful Eclipse rich client platform
• Implemented in Java
• Available for Windows, Mac OS X, and Linux
• Editor and compiler for PALOMA models
• Support stochastic Gillespie simulation of PALOMA models
• Automatic generation of Matlab scripts for numerical simulation of PALOMA models
• Results plot built-in

You can download the User Manual for the PALOMA Eclipse Plug-in to see how to install and use the plug-in.

Example models

Here are three PALOMA models which are used in the TOMACS paper :

• A household SIS model. link
• A wireless sensor network model. link
• A city bike-sharing model. link