Home > Research > Publications & Outputs > Splee

Electronic data

  • Splee

    Accepted author manuscript, 400 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/Paperpeer-review

Published

Standard

Splee : A declarative information-based language for multiagent interaction protocols. / Chopra, Amit K.; V, Samuel H. Christie; Singh, Munindar P.

AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo : IFAAMAS, 2017. p. 1054-1063.

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

Harvard

Chopra, AK, V, SHC & Singh, MP 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. <https://dl.acm.org/citation.cfm?id=3091274>

APA

Chopra, A. K., V, S. H. C., & Singh, M. 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 (pp. 1054-1063). IFAAMAS. https://dl.acm.org/citation.cfm?id=3091274

Vancouver

Chopra AK, V SHC, Singh MP. Splee: A declarative information-based language for multiagent interaction protocols. In AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo: IFAAMAS. 2017. p. 1054-1063

Author

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

Bibtex

@inproceedings{0f488d0469af443db839428be7ba52c3,
title = "Splee: A declarative information-based language for multiagent interaction protocols",
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.",
author = "Chopra, {Amit K.} and V, {Samuel H. Christie} and Singh, {Munindar P.}",
year = "2017",
month = may,
day = "8",
language = "English",
pages = "1054--1063",
booktitle = "AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems",
publisher = "IFAAMAS",

}

RIS

TY - GEN

T1 - Splee

T2 - A declarative information-based language for multiagent interaction protocols

AU - Chopra, Amit K.

AU - V, Samuel H. Christie

AU - Singh, Munindar P.

PY - 2017/5/8

Y1 - 2017/5/8

N2 - 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.

AB - 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.

M3 - Conference contribution/Paper

SP - 1054

EP - 1063

BT - AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems

PB - IFAAMAS

CY - São Paolo

ER -