Scholarlink

Interaction-Oriented Programming (IOP) is an approach to building a multi-agent 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 multi-agent 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 chapter presents some of that software suite.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Tools for Implementing Multi-Agent Systems Based on Protocols

  • 章节

  • 发表日期：

    2026年

查看全文
  • Amit K. Chopra,
  • Samuel H. Christie V,
  • Munindar P. Singh

摘要

Interaction-Oriented Programming (IOP) is an approach to building a multi-agent 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 multi-agent 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 chapter presents some of that software suite.