Data di Pubblicazione:
2018
Citazione:
Managing bad AIPs with RIVERtools / Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana. - 10978:(2018), pp. 296-300. ( 16th International Conference on Practical Applications of Agents, Multi-Agent Systems, PAAMS 2018 Toledo, Spain 20 giugno 2018) [10.1007/978-3-319-94580-4_24].
Abstract:
We present the RIVERtools integrated development environment for specifying Agent Interaction Protocols (AIPs) modelled as trace expressions, and for statically verifying some of their properties. In particular, this demonstration paper aims at showing why a “good” AIP can become a “bad” one because of unreliability of some communication channels, and how RIVERtools can cope with such bad AIPs, suggesting to the developer possible ways to dynamically verify them in a partially decentralized way.
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Multiagent systems; Computer Science (all)
Elenco autori:
Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: