| Title |
Engineering the Environment of Self-organising Multi-agent Systems Exploiting Formal Analysis Tools |
| Authors |
Luca Gardelli, Mirko Viroli, Matteo Casadei |
| Type |
In Conference Proceedings |
| Booktitle |
Congresso AICA 2006 |
| Address |
Cesena, Italy |
| Organization |
AICA - Associazione Italiana per l'Informatica e il Calcolo Automatico |
| Year |
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. |
| |
|
