Publication Date:
2018
Short description:
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.
Iris type:
Relazione in Atti di Convegno
Keywords:
Multiagent systems; Computer Science (all)
List of contributors:
Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Book title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Published in: