用声明式协议让AI代理无缝对接电商标准，实现渐进式落地。
Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
- 将电商协议UCP的结账部分建模为声明式Langshaw协议。
- 用Peach编程模型实现的AI代理可与谷歌的UCP代理互操作。
- 适合关注AI代理标准化与系统兼容性的工程实践者。
近年来，基于声明式交互协议的多智能体系统建模与实现取得了显著进展。本文提出的Strabo将这些进展与当前产业界在智能体AI方面的努力相结合。具体而言，我们以谷歌主导的通用电商协议（UCP）为例，将其结账部分建模为声明式Langshaw协议，并使用Langshaw的编程模型Peach实现智能体。第一部分展示了形式化声明式规范的优势；第二部分证明了Peach智能体可与谷歌实现的UCP智能体实现互操作，验证了该方法对UCP的保真度。这种互操作性支持在传统环境中渐进式引入声明式协议和智能体，表明基于EMAS的思路可在不进行全系统更新的前提下影响实际应用。
原文摘要 · Abstract (English)
The last few years have witnessed major advances in the modeling and implementation of multiagent systems based on declarative interaction protocols. Our contribution, Strabo, establishes the relevance of these advances to ongoing industry efforts in Agentic AI. Specifically, we consider UCP, the Universal Commerce Protocol, a recent Google-led effort to standardize e-commerce interactions for AI agents. Our exercise is in two parts. One, we model the part of UCP dealing with checkouts as a declarative Langshaw protocol and implement agents using Peach, a programming model for Langshaw. This part of the exercise brings out the advantages of formal, declarative specifications. Two, we show that Peach agents can interoperate with UCP agents implemented by Google, thereby establishing the fidelity of our approach with respect to UCP. Such interoperation enables the incremental introduction of declarative protocols and agents into a conventional setting, indicating a pathway by which EMAS ideas could influence practice without demanding a wholesale update.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。