Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
Strabo：声明式多智体交互协议的声明与实现
🧭 声明式交互协议与工业标准桥接 ★ 深度解读
North Carolina State University · Lancaster University
用声明式协议 Langshaw 精确建模工业电商交互标准 UCP，并通过桥接层实现与现有系统互操作。
📌 工作参考价值（4 点）
- 声明式协议减少隐式假设：像 Langshaw 那样显式定义角色、数据所有权（sayso）、动作因果依赖和排斥约束，可让电商多智能体交互（如结算、退货）更清晰，避免因文档不明确导致的实现错误。
- 桥接模式实现渐进迁移：ProxyAdapter + route() DSL 将声明式动作映射为 HTTP 调用，无需彻底推翻现有 REST API，就能逐步引入协议规范，适合已有推荐系统或电商中台的多 Agent 化改造。
- Enablement-based 编程降低合规成本：Peach 适配器自动计算当前可行的动作，业务 Agent 只需从可行动作列表中选择并绑定值，把协议合规从应用代码中抽离，可在大规模 Agent 部署中减少状态管理 bug。
- 显式版本化控制并发修改：增量协议中用组合键 (eid, v) 管理多次更新，避免直接覆盖状态，支持应用层灵活决策（如取最新版本），可为推荐流程中的会话状态管理提供参考。