Toolsuite for Implementing Multiagent Systems Based on Communication Protocols
It provides tools for developers building multiagent systems, but appears incremental as it builds on existing IOP approaches.
The paper introduces a software suite for implementing multiagent systems using Interaction-Oriented Programming, which models interactions via protocols and includes tools for verifying protocol properties and simplifying agent implementation.
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.