On enactability of agent interaction protocols: Towards a unified approach

Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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.
Original languageEnglish
Title of host publicationAAMAS '19
Subtitle of host publicationProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems
PublisherACM
Pages1955-1957
Number of pages3
ISBN (Electronic)9781510892002
DOIs
Publication statusPublished - 2019
Externally publishedYes
Event18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 - Montreal, Canada
Duration: 13 May 201917 May 2019

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
PublisherACM
Volume4
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Conference

Conference18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Country/TerritoryCanada
CityMontreal
Period13/05/1917/05/19

Fingerprint

Dive into the research topics of 'On enactability of agent interaction protocols: Towards a unified approach'. Together they form a unique fingerprint.
  • On enactability of agent interaction protocols: Towards a unified approach

    Ferrando, A., Winikoff, M., Cranefield, S., Dignum, F. & Mascardi, V., 2020, Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers. Dennis, L. A., Bordini, R. H. & Lespérance, Y. (eds.). Springer Nature, p. 43-64 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12058 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Cite this