Abstract
Social insect colonies present an interesting problem for formal modelling due to characteristics such as self-organisation and dynamic structure. In this paper, we present a formal model of a colony of Pharaoh ants using OPERASXP , which combines two different formal methods, communicating X- machines and population P systems as well as a framework that leads to a rapid simulation prototype of such multi-agent systems, based on their formal models.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 267-280 |
| Number of pages | 14 |
| Journal | Romanian Journal of Information Science and Technology |
| Volume | 11 |
| Issue number | 3 |
| State | Published - 2008 |
All Science Journal Classification (ASJC) codes
- General Computer Science