标题： 基于通信协议的多智能体系统实现工具套件 显示英文标题

标题： Toolsuite for Implementing Multiagent Systems Based on Communication Protocols

摘要： 交互导向编程（IOP）是一种通过灵活的交互协议对系统中的角色之间的交互进行建模，并实现代理以实现它们在协议中扮演的角色的交互，从而构建多代理系统的方法。 近年来，我们开发了一套广泛的软件，使多代理系统开发者能够应用IOP。 这些包括用于高效验证协议的工具，例如活性和安全性等属性，以及简化代理实现的中间件。 本文介绍了该软件套件中的一些内容。 显示英文摘要

摘要： 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.