Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS

   page       BibTeX_logo.png   
Luca Gardelli, Mirko Viroli, Andrea Omicini
Robert Trappl (a cura di)
Cybernetics and Systems 2006, pp. 539–544
Austrian Society for Cybernetic Studies, Vienna, Austria
aprile 2006

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 π-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.

evento origine