Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce problems. 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 expressions), considering a range of message ordering interpretations (specifying what it means 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 the underlying communication middleware.

On Enactability of Agent Interaction Protocols: Towards a Unified Approach / Ferrando, Angelo; Winikoff, Michael; Cranefield, Stephen; Dignum, Frank; Mascardi, Viviana. - 4:(2019), pp. 1955-1957. ( 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 Montreal, CANADA 13-17 maggio 2019).

On Enactability of Agent Interaction Protocols: Towards a Unified Approach

Angelo Ferrando;
2019

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 problems. 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 expressions), considering a range of message ordering interpretations (specifying what it means 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 the underlying communication middleware.
2019
Inglese
18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Montreal, CANADA
13-17 maggio 2019
Proceedings of the 18th International Conference on Autonomous Agentsand MultiAgent Systems, {AAMAS} '19
4
1955
1957
3
9781450363099
International Foundation for Autonomous Agents and Multiagent Systems
1515 BROADWAY, NEW YORK, NY 10036-9998 USA
Agent Interaction Protocols; Enactability; Enforceability; Implementability; Realizability; Projectability; Trace Expressions
Ferrando, Angelo; Winikoff, Michael; Cranefield, Stephen; Dignum, Frank; Mascardi, Viviana
Atti di CONVEGNO::Relazione in Atti di Convegno
273
5
On Enactability of Agent Interaction Protocols: Towards a Unified Approach / Ferrando, Angelo; Winikoff, Michael; Cranefield, Stephen; Dignum, Frank; Mascardi, Viviana. - 4:(2019), pp. 1955-1957. ( 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 Montreal, CANADA 13-17 maggio 2019).
reserved
info:eu-repo/semantics/conferenceObject
File in questo prodotto:
File Dimensione Formato  
AAMAS2019-enactability.pdf

Accesso riservato

Tipologia: VOR - Versione pubblicata dall'editore
Dimensione 1.02 MB
Formato Adobe PDF
1.02 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1331826
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact