Toolsuite for Implementing Multiagent Systems Based on Communication Protocols

TL;DR

This paper introduces a toolsuite that facilitates the development of multiagent systems using Interaction-Oriented Programming by providing verification and middleware tools for implementing interaction protocols.

Contribution

It presents a comprehensive software suite that supports the design verification and implementation of multiagent systems based on communication protocols.

Findings

Tools for verifying protocol properties like liveness and safety

Middleware simplifies agent implementation

Software suite enhances multiagent system development

Abstract

Interaction-Oriented Programming (IOP) is an approach to building a multiagent system by modeling the interactions between its roles via a flexible interaction protocol and implementing agents to realize the interactions of the roles they play in the protocol. In recent years, we have developed an extensive suite of software that enables multiagent system developers to apply IOP. These include tools for efficiently verifying protocols for properties such as liveness and safety and middleware that simplifies the implementation of agents. This paper presents some of that software suite.