An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

Chopra, Amit K. and V, Samuel H. Christie and Singh, Munindar P. (2020) An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. Journal of Artificial Intelligence Research, 69. pp. 351-1393. ISSN 1076-9757

[img]
Text (langeval-akc-v45-camera-ready)
langeval_akc_v45_camera_ready.pdf - Accepted Version
Available under License Other.

Download (399kB)

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.

Item Type:
Journal Article
Journal or Publication Title:
Journal of Artificial Intelligence Research
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1702
Subjects:
ID Code:
149344
Deposited By:
Deposited On:
24 Nov 2020 12:48
Refereed?:
Yes
Published?:
Published
Last Modified:
05 Dec 2021 07:50