On engineering selforganizing environments: Stochastic methods for dynamic resource allocation

In this article, we focus on 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 discuss a design methodology for complex systems with 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 analyse a case of dynamic resource allocation strategy for a MAS environment.