Title |
Exploring the Dynamics of Self-Organising Systems with Stochastic
pi-Calculus: Detecting Abnormal Behaviour in MAS |
Authors |
Luca Gardelli, Mirko Viroli, Andrea Omicini |
Type |
In Conference Proceedings |
Conference |
18th European Meeting on Cybernetics and Systems Research (EMCSR
2006), 5th International Symposium From Agent Theory to Theory Implementation
(AT2AI-5) |
Booktitle |
Cybernetics and Systems 2006 |
Volume |
2 |
Pages |
539--544 |
Address |
Vienna, Austria |
Editor |
Trappl, Robert |
Year |
2006 |
ISBN |
3-85206-172-5 |
Publisher |
Austrian Society for Cybernetic Studies |
Abstract |
The intrinsic complexity of self-organising MASs (multi-agent systems)
makes it difficult to predict global system evolutions at early stages
of the design process. Simulating high-level models to analyse properties
of a MAS design can anticipate detection of incorrect / wrong design
choices, and allow tuning of system parameters. In this paper, we
take abnormal-behaviour detection as a case study, and devise an artifact-based MAS architecture inspired by
principles of the human immune systems. We use stochastic pi-calculus
to specify and run quantitative large-scale simulations, which allow
us to verify the basic applicability of our IDS (intrusion detection
system) and possibly obtain a preliminary set of its main working
parameters. |
|
|