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.
Managing bad AIPs with RIVERtools / Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana. - (2018), pp. 296-300. (Intervento presentato al convegno 16th International Conference on Practical Applications of Agents, Multi-Agent Systems, PAAMS 2018 tenutosi a Toledo, Spain nel 20 giugno 2018) [10.1007/978-3-319-94580-4_24].
Managing bad AIPs with RIVERtools
Ferrando, Angelo;
2018
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Ancona2018_Chapter_ManagingBadAIPsWithRIVERtools.pdf
Accesso riservato
Dimensione
1.19 MB
Formato
Adobe PDF
|
1.19 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
