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

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.


On Enactability and Monitorability of Agent Interaction Protocols

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 ...

Learning to Communicate in a Noisy Environment

In this work we examine the problem of learning to cooperate in the cont...

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

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

Please sign up or login with your details

Forgot password? Click here to reset