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.
Engineering the environment of self-organising multi-agent systems exploiting formal analysis tools / Luca Gardelli; Mirko Viroli; Matteo Casadei. - STAMPA. - 1:(2006), pp. 119-126. (Intervento presentato al convegno XLIV Congresso Annuale dell'Associazione Italiana per l'Informatica ed il Calcolo Automatico (AICA 2006) tenutosi a Cesena, Italy nel 21-22 settembre 2006).
Engineering the environment of self-organising multi-agent systems exploiting formal analysis tools
GARDELLI, LUCA;VIROLI, MIRKO;CASADEI, MATTEO
2006
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.