🤖 AI Summary
To address the inflexibility in modeling, difficulty in verification, and error-proneness in implementation of interaction protocols in multi-agent systems, this paper proposes a communication-protocol-based, interaction-oriented programming framework. The framework centers on formal protocol models to precisely specify inter-agent interaction behaviors; integrates a protocol verifier and agent middleware to enable formal verification of safety and liveness properties, as well as automated code generation; and establishes a complete toolchain spanning protocol modeling, verification, code generation, and execution. Compared with conventional approaches, our framework significantly reduces protocol design errors—by approximately 62% in empirical evaluation—while improving development efficiency and system maintainability. It provides a verifiable, engineering-ready infrastructure for trustworthy multi-agent collaboration.
📝 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.