Langshaw: Sayso 및 Conflict에 기반한 선언적 상호작용 프로토콜

현재 멀티에이전트 프로토콜 (multiagent protocols)을 명시하기 위한 언어들은 프로토콜 실행을 과도하게 제약하거나 그 의미를 포착하는 것을 복잡하게 만듭니다. 우리는 (1) 각 속성(attribute)을 설정하는 데 있어 누가 우선권을 갖는지 포착하는 새로운 구성 요소인 sayso, 그리고 (2) 동작 간의 충돌(conflicts)을 포착하는 두 가지 구성 요소인 nono와 nogo에 기반한 선언적 프로토콜 언어인 Langshaw를 제안합니다. Langshaw는 유연성과 의미를 표현하기 위한 정보 모델 (information model)을 결합합니다. 우리는 Langshaw에 대한 형식적 의미론 (formal semantics), 프로토콜의 안전성 (safety) 및 활성 (liveness)을 결정하기 위한 절차, 그리고 유연한 비동기 실행 (asynchronous enactment)에 적합한 메시지 지향 프로토콜 (message-oriented protocol, 필요한 조정(coordination)을 포함)을 생성하는 방법을 제공합니다.