提供一套工具，让开发者用通信协议高效构建多智能体系统。
Toolsuite for Implementing Multiagent Systems Based on Communication Protocols
- 通过灵活的通信协议建模智能体间交互
- 支持验证协议的活性与安全性等关键属性
- 适合需要可靠多智能体协作的系统开发人员
交互导向编程（IOP）是一种通过灵活的交互协议建模多智能体系统中角色间交互，并实现相应智能体以履行协议中角色的方法。近年来，我们开发了一套完整的软件工具套件，帮助多智能体系统开发者应用IOP。该套件包括用于高效验证协议性质（如活性和安全性）的工具，以及简化智能体实现的中间件。本文介绍了其中部分软件组件。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。