| Title |
Engineering Self-Organizing MAS with Coordination Artifacts and
ACCs |
| Authors |
Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Type |
Poster |
| Conference |
7th International Conference on Coordination Languages and Models
(COORDINATION 2005) |
| Address |
Namur, Belgium |
| Editor |
Jean-Marie Jacquet, Gian Pietro Picco |
| Year |
2005 |
| Abstract |
We propose an architecture and a methodology for engineering self-organizing
applications, focussing on security for MAS (multi-agent systems).
We argue the applicability of principles from human immune system
to MASs, and take intrusion detection as a main subject of investigation. We sketch
a possible architecture for a MAS, based on coordination artifacts
and agent coordination contexts, which are building bricks of the
TuCSoN technology. Because of the intrinsic complexity of the systems
we consider, we find it useful to exploit simulation of abstract
models of our systems, so as to assess security features and overall
performance at design-time. We use stochastic pi-calculus and the
SpiM implementation tool as a formal framework for specifying and
running quantitative simulation of large-scale MASs. By applying
this framework to our immune system we verify basic applicability
of its principles and obtained a first evaluation of its main parameters. |
| |
|
