Title: Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols

Abstract: Significant progress has been made in recent years regarding the modeling and deployment of multiagent systems that rely on declarative interaction protocols. This paper, titled Strabo, highlights the significance of these developments for current industry initiatives in Agentic AI. We specifically examine UCP, the Universal Commerce Protocol, a recent initiative led by Google aimed at standardizing e-commerce interactions for AI agents. Our study comprises two main components. First, we translate the checkout segment of UCP into a declarative Langshaw protocol and develop agents using Peach, a programming framework designed for Langshaw. This step demonstrates the benefits of using formal, declarative specifications. Second, we demonstrate that agents built with Peach can successfully interoperate with UCP agents developed by Google, validating the accuracy of our methodology in the context of UCP. This compatibility facilitates the gradual integration of declarative protocols and agents into existing systems, suggesting a route through which EMAS concepts can impact practical applications without requiring a complete system overhaul.

Source: arXiv Generated at: 2026-06-04 00:00:00 UTC