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-01-01
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 in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Ancona2018_Chapter_ManagingBadAIPsWithRIVERtools.pdf
accesso chiuso
Tipologia:
Documento in versione editoriale
Dimensione
1.19 MB
Formato
Adobe PDF
|
1.19 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
