Home > Research > Publications & Outputs > An Evaluation of Communication Protocol Languag...

Research

Electronic data

Links

Text available via DOI:

View graph of relations

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. / Chopra, Amit K.; V, Samuel H. Christie; Singh, Munindar P.
In: Journal of Artificial Intelligence Research, Vol. 69, 22.12.2020, p. 351-1393.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Chopra, AK, V, SHC & Singh, MP 2020, 'An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems', Journal of Artificial Intelligence Research, vol. 69, pp. 351-1393. https://doi.org/10.1613/jair.1.12212

APA

Chopra, A. K., V, S. H. C., & Singh, M. P. (2020). An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. Journal of Artificial Intelligence Research, 69, 351-1393. https://doi.org/10.1613/jair.1.12212

Vancouver

Chopra AK, V SHC, Singh MP. An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. Journal of Artificial Intelligence Research. 2020 Dec 22;69:351-1393. doi: 10.1613/jair.1.12212

Author

Chopra, Amit K. ; V, Samuel H. Christie ; Singh, Munindar P. / An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. In: Journal of Artificial Intelligence Research. 2020 ; Vol. 69. pp. 351-1393.

Bibtex

@article{4a6945d8ef4d491bbf079f2b436a4725,
title = "An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems",
abstract = "Communication protocols are central to engineering decentralized multiagent systems. Modern protocol languages are typically formal and address aspects of decentralization, such as asynchrony. However, modern languages differ in important ways in their basic abstractions and operational assumptions. This diversity makes a comparative evaluation of protocol languages a challenging task.We contribute a rich evaluation of diverse and modern protocol languages. Among the selected languages, Scribble is based on session types; Trace-C and Trace-F on trace expressions; HAPN on hierarchical state machines, and BSPL on information causality. Our contribution is four-fold. One, we contribute important criteria for evaluating protocol languages. Two, for each criterion, we compare the languages on the basis of whether they are able to specify elementary protocols that go to the heart of the criterion. Three, for each language, we map our findings to a canonical architecture style for multiagent systems, highlighting where the languages depart from the architecture. Four, we identify design principles for protocol languages as guidance for future research.",
author = "Chopra, {Amit K.} and V, {Samuel H. Christie} and Singh, {Munindar P.}",
year = "2020",
month = dec,
day = "22",
doi = "10.1613/jair.1.12212",
language = "English",
volume = "69",
pages = "351--1393",
journal = "Journal of Artificial Intelligence Research",
issn = "1076-9757",
publisher = "Morgan Kaufmann Publishers, Inc.",

}

RIS

TY - JOUR

T1 - An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

AU - Chopra, Amit K.

AU - V, Samuel H. Christie

AU - Singh, Munindar P.

PY - 2020/12/22

Y1 - 2020/12/22

N2 - Communication protocols are central to engineering decentralized multiagent systems. Modern protocol languages are typically formal and address aspects of decentralization, such as asynchrony. However, modern languages differ in important ways in their basic abstractions and operational assumptions. This diversity makes a comparative evaluation of protocol languages a challenging task.We contribute a rich evaluation of diverse and modern protocol languages. Among the selected languages, Scribble is based on session types; Trace-C and Trace-F on trace expressions; HAPN on hierarchical state machines, and BSPL on information causality. Our contribution is four-fold. One, we contribute important criteria for evaluating protocol languages. Two, for each criterion, we compare the languages on the basis of whether they are able to specify elementary protocols that go to the heart of the criterion. Three, for each language, we map our findings to a canonical architecture style for multiagent systems, highlighting where the languages depart from the architecture. Four, we identify design principles for protocol languages as guidance for future research.

AB - Communication protocols are central to engineering decentralized multiagent systems. Modern protocol languages are typically formal and address aspects of decentralization, such as asynchrony. However, modern languages differ in important ways in their basic abstractions and operational assumptions. This diversity makes a comparative evaluation of protocol languages a challenging task.We contribute a rich evaluation of diverse and modern protocol languages. Among the selected languages, Scribble is based on session types; Trace-C and Trace-F on trace expressions; HAPN on hierarchical state machines, and BSPL on information causality. Our contribution is four-fold. One, we contribute important criteria for evaluating protocol languages. Two, for each criterion, we compare the languages on the basis of whether they are able to specify elementary protocols that go to the heart of the criterion. Three, for each language, we map our findings to a canonical architecture style for multiagent systems, highlighting where the languages depart from the architecture. Four, we identify design principles for protocol languages as guidance for future research.

U2 - 10.1613/jair.1.12212

DO - 10.1613/jair.1.12212

M3 - Journal article

VL - 69

SP - 351

EP - 1393

JO - Journal of Artificial Intelligence Research

JF - Journal of Artificial Intelligence Research

SN - 1076-9757

ER -