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

Chopra, Amit K. and V, Samuel H. Christie and Singh, Munindar P. (2017) Splee:A declarative information-based language for multiagent interaction protocols. In: AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. IFAAMAS, São Paolo, pp. 1054-1063.

[img]
Preview
PDF (Splee)
Splee_akc_v25.pdf - Accepted Version
Available under License None.

Download (409kB)

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.

Item Type: Contribution in Book/Report/Proceedings
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 85555
Deposited By: ep_importer_pure
Deposited On: 16 Mar 2017 05:41
Refereed?: Yes
Published?: Published
Last Modified: 19 Feb 2020 06:29
URI: https://eprints.lancs.ac.uk/id/eprint/85555

Actions (login required)

View Item View Item