Toolsuite for Implementing Multiagent Systems Based on Communication Protocols
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911054560231424 |
|---|---|
| author | Chopra, Amit K. Christie V, Samuel H. Singh, Munindar P. |
| author_facet | Chopra, Amit K. Christie V, Samuel H. Singh, Munindar P. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_10324 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Toolsuite for Implementing Multiagent Systems Based on Communication Protocols Chopra, Amit K. Christie V, Samuel H. Singh, Munindar P. Multiagent Systems Artificial Intelligence Programming Languages Software Engineering I.2.11; I.2.4; I.2.5 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. |
| title | Toolsuite for Implementing Multiagent Systems Based on Communication Protocols |
| topic | Multiagent Systems Artificial Intelligence Programming Languages Software Engineering I.2.11; I.2.4; I.2.5 |
| url | https://arxiv.org/abs/2507.10324 |