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

## TL;DR

This paper investigates whether global agent interaction protocols can be practically implemented in distributed multi-agent systems, considering various message ordering and communication constraints to determine enactability.

## Contribution

It introduces a comprehensive framework for analyzing the enactability of global protocols under different message and communication assumptions.

## Key findings

- Identifies conditions under which protocols are enactable
- Provides a formal method for checking enactability
- Considers multiple message ordering interpretations

## Abstract

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.