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


Matteo Casadei  /  Mirko Viroli, Matteo Casadei, Luca Gardelli

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.

Talk

— speakers

— authors

— sort

talk

— language

wgb.gif

Context

AICA: 2006 National Conference

— when

22/09/2006

Links

— external

External Link

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