XFlow: 신뢰할 수 있는 멀티 에이전트 워크플로우를 위한 실행 가능한 프로토콜 프로그래밍 시스템

LLM(Large Language Model) 기반의 멀티 에이전트 시스템은 계획(planning), 추론(reasoning), 도구 사용(tool use), 그리고 인간과의 상호작용(human interaction)을 점점 더 많이 조정하고 있지만, 그 신뢰성은 여전히 제한적입니다. 이러한 제한의 핵심 원인은 불충분하게 정의된 프롬프트-하네스(prompt--harness) 경계에 있습니다. 현재의 시스템들은 어떤 워크플로우 약속(commitments)이 프롬프트에 남아 있어야 하고, 어떤 것이 하네스 구조(harness structure)가 되어야 하는지를 결정하는 원칙적인 방법을 결여하고 있습니다. 우리는 신뢰할 수 있는 멀티 에이전트 워크플로우를 위한 실행 가능한 프로토콜 프로그래밍 시스템인 extbf{XFlow}와, 그 도메인 특화 프로토콜 프로그래밍 언어인 extbf{XPF} (XFlow Protocol Format)를 제시합니다. XFlow는 프롬프트 전용 오케스트레이션(prompt-only orchestration)과 마크업 형태의 워크플로우 기술(markup-like workflow descriptions) 사이의 중간 위치를 차지합니다. XPF는 문해력 있는 프로토콜(literate protocol)로서 가독성을 유지하면서도, 프로그램으로서 컴파일되고 실행됩니다. XFlow의 설계는 비정형적인 의미론적 작업(informal semantic work)은 액터(actor) 내부에 유지하는 한편, 선택된 약속들을 검증, 보존 및 강제할 수 있는 하네스 구조로 이동시킵니다. 런타임(runtime) 시, XFlow는 생명주기 관리형 심볼(lifecycle-governed symbols)을 통해 불확실성을 단계별로 처리하며, 이 심볼들은 검증 및 커밋 상태를 가진 타입화된 상태 셀(typed state cells)입니다. 액터의 출력은 프롬프트, 트랜스크립트(transcripts), 또는 암시적 메모리(implicit memory)를 통해 퍼지는 대신, 공유 상태(shared state)가 되기 전에 중재됩니다. 우리의 실험은 제약된 상호작용(Constrained Interaction), 긴 문맥 추론(Long-Context Reasoning), 그리고 에이전틱 소프트웨어 엔지니어링(Agentic Software Engineering)을 다룹니다. 실험 결과, XFlow는 제약 조건, 증거 처리(evidence handling), 그리고 프로세스 요구사항을 명시적이고 강제 가능하게 만듦으로써 신뢰성을 향상시킨다는 것을 보여줍니다.