I. STAMATOPOULOU, I. SAKELLARIOU, P. KEFALAS, G. ELEFTHERAKIS
OPERAS for Social Insects: Formal Modelling and Prototype Simulation

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 OPERAS_XP, 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.

READ THE PDF