.png){kind=icon}
返回
Correct implementation of agent interaction protocols
.png){kind=icon}
PRE
AI
DOI：10.3389/fcomp.2025.1659785.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Coordinating agents that communicate through asynchronous message exchanges to execute interaction protocols presents a complex and pressing challenge. In this article, we address this issue by introducing Multiparty Session Types (MPST) for the formal specification of agent interaction protocols, from which we derive implementations of the corresponding agent systems. Correctness is ensured on one side by the MPST methodology, which derives the local protocols of participants from a global specification by projection, and on the other by translating local types into agents, providing a proof that these agents behave as prescribed by the local protocols of participants. Our agent language is Jadescript, an agent programming language that targets the widely used JADE agent platform. In addition to the theoretical framework, we describe a prototype implementation of the related tools.
Keyword:
multiparty sessions
global types
agent interaction protocols
agent programming languages
soundness of translation
期刊
F
IF:
2.7
论文数:
186
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏分享收藏
查看更多内容