[논문 리뷰] On Negotiation as Concurrency Primitive

Javier Esparza, Joerg Desel|arXiv (Cornell University)|2013. 07. 08.

Business Process Modeling and Analysis참고 문헌 12인용 수 4

한 줄 요약

이 논문은 동시성 원리로 협상을 도입하며, 원자적 협상 단계로 다자 간 상호작용을 모델링한다. 다각적 상호작용을 다각적 협상의 원자적 단위로 요약하는 데 성공적으로 작동하는 다항시간 알고리즘을 제시함으로써, 상태공간 폭발 없이 효율적인 분석이 가능해진다.

ABSTRACT

We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation. We provide a complete set of reduction rules for sound, acyclic, weakly deterministic negotiations and show that, for deterministic negotiations, the rules compute the summary in polynomial time.

연구 동기 및 목표

• 다자 간 원자적 상호작용을 기본 원리로 하는 동시성 모델로 협상을 공식화한다.
• 정당성 문제(교착 상태나 라이브락 없이 협상이 완료되는지 보장)와 요약 문제(다단계 협상을 한 단계로 요약한 것과 동치인 결과를 도출)를 해결한다.
• 명시적 상태공간 탐색 없이도 행동 동치성을 유지하는 감소 규칙을 개발함으로써 상태공간 폭발 문제를 완화한다.
• 문법적 변환을 통해 결정적이고 비순환적인 협상을 다항시간에 요약하는 알고리즘을 수립한다.
• 기존 피트리 네트워크 기반 감소 기법을 협상 기반 시스템의 새로운 맥락으로 확장하며, 주로 요약 기능에 초점을 맞춘다.

제안 방법

• 참여자, 결과, 상태를 변화시키는 관계로 정의된 원자로 구성된 협상의 형식적 모델을 도입한다.
• 교착 상태나 라이브락이 없음을 정당성으로 정의하며, 최종 상태 행동을 유지하는 한 단계의 등가 협상으로의 요약을 정의한다.
• 핵심 감소 규칙 두 가지를 제안한다: 병합(동일한 다음 원자로 이어지는 다중 결과를 가진 원자에 대해 적용)과 d-단축(단일 결과로 무조건 다음 단계로 이어지는 원자에 대해 적용).
• 경로 길이와 각 결과의 최단 발생 순서를 기반으로 체계적으로 규칙를 적용한다.
• 비순환성, 결정성, 약한 결정성 등의 구조적 성질을 활용하여 감소 과정의 완전성과 종료성을 보장한다.
• 결정적 협상의 경우, 규칙 적용 횟수는 총 결과 수와 최단 발생 순서 수의 합으로 유계이며, 이는 다항시간 복잡도로 이어진다.

실험 결과

연구 질문

• RQ1 상태공간 탐색 없이도 문법적 규칙을 사용해 완전하고 정당한 협상을 단일 등가 협상 원자로 줄일 수 있는가?
• RQ2 비순환적 협상의 요약 문제에 대한 계산 복잡도는 무엇이며, 결정적과 비결정적 경우에 따라 어떻게 달라지는가?
• RQ3 특정 협상 클래스에 대해 정당성과 요약 동치성을 모두 보존하는 완전한 감소 규칙 집합이 존재하는가?
• RQ4 결정적이고 비순환적인 협상에 대해 감소 과정이 다항시간 내에 종료됨을 보장할 수 있는가?
• RQ5 기존 피트리 네트워크 이론의 감소 기법과 비교해 볼 때, 본 논문에서 제안한 규칙들은 라이브락이나 정당성뿐 아니라 요약 기능에 있어서 어떤가?

주요 결과

• 정당성 있고 비순환적이며 약한 결정성인 협상에 대해 완전한 문법적 감소 규칙 집합(병합과 d-단축)을 제시한다.
• 결정적 협상의 경우 감소 과정은 결과 수와 최단 발생 순서 수의 합으로 유계이며, 다항시간 내에 종료된다.
• 병합 규칙 적용 횟수는 최대 Out(N)이며, d-단축 규칙 적용 횟수는 최대 Shoc(N)이다. 여기서 Out(N)은 최종 원자를 제외한 결과 수를 세며, Shoc(N)은 최단 경로 길이의 합을 의미한다.
• 감소 규칙들은 행동 동치성을 유지하므로, 최종 한 단계 협상이 원래 협상의 최종 상태 분포를 정확히 반영한다.
• 일반적인 비순환 협상에 대해 요약 문제는 co-NP-난이도이지만, 결정적 경우는 다항시간 내에 해결 가능하다.
• 형식적 구조에만 기반하여 상태공간 탐색 없이 작동하므로, 복잡하지만 잘 구조화된 협상에 대해 확장 가능하다.