On Enactability and Monitorability of Agent Interaction Protocols

by   Angelo Ferrando, et al.
University of Otago
University of Liverpool
Utrecht University
Università di Genova

Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce issues. For instance, it is possible to specify protocols from a global viewpoint that cannot be implemented as a collection of individual agents. This leads naturally to the question of whether a given (global) protocol is enactable. We consider this question in a powerful setting (trace expression), considering a range of message ordering interpretations (what does it mean to say that an interaction step occurs before another), and a range of possible constraints on the semantics of message delivery, corresponding to different properties of underlying communication middleware.


page 1

page 2

page 3

page 4


On the Enactability of Agent Interaction Protocols: Toward a Unified Approach

Interactions between agents are usually designed from a global viewpoint...

Modelling Agent-Skipping Attacks in Message Forwarding Protocols

Message forwarding protocols are protocols in which a chain of agents ha...

On the Optimal Interaction Range for Multi-Agent Systems Under Adversarial Attack

Consider a consensus-driven multi-agent dynamic system. The interaction ...

A small-step approach to multi-trace checking against interactions

Interaction models describe the exchange of messages between the differe...

Broadcast Distributed Voting Algorithm in Population Protocols

We consider the problem of multi-choice majority voting in a network of ...

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

Reconfigurable multi-agent systems consist of a set of autonomous agents...

Verified Causal Broadcast with Liquid Haskell

Protocols to ensure that messages are delivered in causal order are a ub...

Please sign up or login with your details

Forgot password? Click here to reset