Provable Coordination for LLM Agents via Message Sequence Charts

Thu, 30 Apr 2026 08:03:38 GMT

### 저자

Benedikt Bollig, Matthias Fugger, Thomas Nowak

### 💡 개요

본 논문은 대규모 언어 모델(LLM) 기반 다중 에이전트 시스템에서 발생하는 조정 오류를 해결하기 위해 메시지 순서도(MSC)를 활용한 도메인 특화 언어를 제안합니다. 이 언어는 예측 불가능한 LLM 행동과 메시지 전달 구조를 분리하여, 전역 조정 명세로부터 데드락이 없는 지역 에이전트 프로그램을 자동 생성합니다. 이를 통해 LLM의 비결정성과 무관하게 조정 속성을 증명할 수 있으며, 런타임 계획 확장에도 동일한 구조적 보장을 적용할 수 있습니다.

### 🔑 시사점 및 한계

- LLM 기반 다중 에이전트 시스템의 조정 오류(데드락, 타입 불일치 메시지 등)를 체계적으로 검증하고 방지할 수 있는 새로운 접근 방식을 제시합니다.

- 메시지 순서도 기반의 명세 언어를 통해 LLM의 예측 불가능성을 추상화하고, 구조적인 조정 속성을 독립적으로 증명할 수 있는 가능성을 열었습니다.

- LLM의 동적인 행동 생성 능력을 활용하여 런타임에 조정 워크플로우를 동적으로 생성하고, 이를 통해 구조적 보장을 유지하는 확장성을 보여줍니다.

- 제안된 방법론의 실제 복잡한 다중 에이전트 시나리오에서의 적용성 및 확장성에 대한 추가적인 연구와 검증이 필요합니다.

[PDF 보기](https://arxiv.org/pdf/2604.17612)