Strabo: 선언적 명세 및 에이전트 상호작용 프로토콜의 구현

지난 몇 년 동안 선언적 상호작용 프로토콜 (declarative interaction protocols)에 기반한 다중 에이전트 시스템 (multiagent systems)의 모델링 및 구현 분야에서 주요한 발전이 있었습니다. 우리의 기여인 Strabo는 이러한 발전이 현재 진행 중인 Agentic AI 산업계의 노력과 밀접한 관련이 있음을 입증합니다. 구체적으로, 우리는 AI 에이전트를 위한 이커머스 상호작용을 표준화하기 위해 최근 Google이 주도하고 있는 노력인 UCP (Universal Commerce Protocol)를 고려합니다. 우리의 연구는 두 부분으로 구성됩니다. 첫째, 결제 (checkouts)를 다루는 UCP의 부분을 선언적 Langshaw 프로토콜로 모델링하고, Langshaw을 위한 프로그래밍 모델인 Peach를 사용하여 에이전트를 구현합니다. 이 연구 단계는 형식적이고 선언적인 명세 (declarative specifications)의 장점을 부각합니다. 둘째, Peach 에이전트가 Google에 의해 구현된 UCP 에이전트와 상호 운용 (interoperate)될 수 있음을 보여줌으로써, UCP에 대한 우리 접근 방식의 충실도 (fidelity)를 입증합니다. 이러한 상호 운용성은 기존 환경에 선언적 프로토콜과 에이전트를 점진적으로 도입할 수 있게 하며, 이는 EMAS 아이디어가 전면적인 업데이트를 요구하지 않고도 실무에 영향을 미칠 수 있는 경로를 제시합니다.