On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS


Luca Gardelli, Mirko Viroli, Andrea Omicini

AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005), pages 85-90
14-16 November 2005
Pitagora Editrice Bologna, Camerino, MC, Italy
Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (eds.)

<div>The intrinsic complexity of self-organising multi-agent systems calls for the use of formal methods to predict global system evolutions at early stages of the design process.
In particular, we evaluate the use of simulations of high-level system models to analyse properties of a design, which can anticipate the detection of wrong design choices and the tuning of system parameters, so as to rapidly converge to given overall requirements and performance factors.</div>

<div>We take abnormal behaviour detection as a case, and devise an architecture inspired by principles from human immune systems.
This is based on the TuCSoN infrastructure, which provides agents with an environment of artefacts&mdash;most notably coordination artefacts and agent coordination contexts.
We then use stochastic &pi;-calculus for specifying and running quantitative, large-scale simulations, which allow us to verify the basic applicability of our ID and obtain a preliminary set of its main working parameters.</div>

 @inproceedings{selforg-woa2005,
Address = {Camerino, MC, Italy},
Author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi'' (WOA 2005)},
Editor = {Corradini, Flavio and De Paoli, Flavio and Merelli, Emanuela and Omicini, Andrea},
Isbn = {88-371-1590-3},
Month = {14--16~} # nov,
Pages = {85--90},
Publisher = {Pitagora Editrice Bologna},
ScopusId = {2-s2.0-70349450492},
Title = {On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in {MAS}},
Year = 2005

Publication

— authors

Luca Gardelli, Mirko Viroli, Andrea Omicini

— editors

Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini

— status

published

— sort

paper in proceedings

Venue

— volume

AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005)

— pages

85-90

— publication date

14-16 November 2005

Identifiers

— IRIS

11585/22713

— Scopus

2-s2.0-70349450492

— print ISBN

88-371-1590-3

BibTeX

— BibTeX ID
selforg-woa2005
— BibTeX category
inproceedings

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