Home > Research > Publications & Outputs > Splee

Electronic data

  • Splee

    Accepted author manuscript, 399 KB, PDF document

    Available under license: None

Links

View graph of relations

Splee: A declarative information-based language for multiagent interaction protocols

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Published
Close
Publication date8/05/2017
Host publicationAAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems
Place of PublicationSão Paolo
PublisherIFAAMAS
Pages1054-1063
Number of pages10
Original languageEnglish

Abstract

The Blindingly Simple Protocol Language (BSPL) is a novel information-based approach for specifying interaction protocols that can be enacted by agents in a fully decentralized manner via asynchronous messaging. We introduce Splee, an extension of BSPL. The extensions fall into two broad categories: multicast and roles. In Splee, a role binding is information that is dynamically generated during protocol enactment, potentially as the content (payload) of communication between two agents. Multicast communication is the idea that a message is sent to a set of agents. The two categories of extensions are interconnected via novel features such as set roles (the idea that a role binding can be a set of agents) and subroles (the idea that agents playing a role must be a subset of agents playing another role). We give the formal semantics of Splee and give small model characterizations of the safety and liveness of Splee protocols. We also introduce the pragmatic idea of query attachments for messages. Query attachments take advantage of Splee's information-orientation, and can help restrict the information (parameter bindings) communicated in a message.