Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools

We briefly discuss about the role of the environment in a self-organising system and how to apply self-organisation principles to build a multi-agent system (MAS) environment. We describe a design methodology for complex systems featuring emergent properties: our approach mainly relies on the use of formal analysis tools and languages in order to provide better guarantees of effective global system behaviour. In order to explain the details of the methodology, we apply it to a case of dynamic resource allocation strategy for a MAS environment.