10:33arXiv cs.AI@Samuel H. Christie, Amit K. Chopra, Munindar P. SinghStrabo 是一个基于声明式交互协议的多智能体系统实现框架,旨在将学术界的形式化方法应用于工业级智能体协作。研究团队以 Google 主导的 UCP(通用商务协议)为案例,将其中结账流程建模为 Langshaw 协议,并用 Peach 编程模型实现智能体。实验表明,Strabo 智能体可与 Google 的 UCP 智能体互操作,验证了声明式方法在真实场景中的可行性和优势。这项工作为在现有系统中逐步引入形式化协议提供了路径,无需全面替换已有基础设施。论文智能体声明式协议UCP多智能体系统互操作性推荐理由:做多智能体系统或电商智能体开发的团队,Strabo 展示了如何用声明式协议替代黑盒 API,既提升可验证性又能与现有 UCP 生态兼容,值得关注其渐进式落地方案。原文