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


Matteo Casadei  /  Luca Gardelli, Mirko Viroli, Matteo Casadei

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.

Presentazione

— oratori/oratrici

— autori/autrici

— tipo

presentazione

— lingua

wgb.gif

Contesto

AICA: 2006 National Conference

— quando

22/09/2006

Link

— esterni

Link esterno

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY