[논문 리뷰] Retractability, games and orchestrators for session contracts

Ugo de’Liguoro, Franco Barbanera|arXiv (Cornell University)|2017. 08. 25.

Mobile Agent-Based Network Management인용 수 3

한 줄 요약

이 논문은 제3자 승인 또는 상호 합의에 의존하는 상호작용을 모델링할 수 있도록 세션 유형을 확장한 영향을 받는 세션 계약을 소개한다. 이는 동적, 고장이 발생하기 쉬운, 또는 중개자가 개입하는 환경에서도 준수를 지원하기 위해 세션 유형을 확장한다. 준수를 위한 게임 이론적 기반을 구축하여, 세 명의 당사자로 구성된 게임에서 승리 전략과 오케스트레이터 기반 상호작용 준수 사이의 동치성을 입증하며, 승리 전략과 오케스트레이터 사이에 일대일 대응 관계가 있음을 보여준다.

ABSTRACT

Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such contracts are hence adaptable, or as we say affectible. In client/server systems, in general, compliance stands for the satisfaction of all client's requests by the server. We define an abstract notion of compliance and show it to have a precise three-party game-theoretic interpretation. This in turn is shown to be equivalent to a compliance based on interactions that can undergo a sequence of failures and rollbacks, as well as to a compliance based on interactions which can be mediated by an orchestrator. Besides, there is a one-to-one effective correspondence between winning strategies and orchestrators. The relation of subcontract for affectible contracts is also investigated.

연구 동기 및 목표

• 세션 계약을 제3자 승인 또는 상호 합의에 의존하는 상호작용을 모델링할 수 있도록 확장하기.
• 동적, 고장이 발생하기 쉬운, 또는 중개자가 개입하는 상호작용 시나리오에서 클라이언트/서버 시스템의 준수를 형식화하기.
• 영향을 받는 계약에 대한 준수를 위한 세 명의 당사자로 구성된 게임 이론적 해석을 수립하기.
• 게임 이론적 준수, 롤백이 가능한 상호작용 기반 준수, 오케스트레이터 중개 준수 사이의 동치성을 입증하기.
• 영향을 받는 계약에 대한 서브계약 관계를 조사하기.

제안 방법

• 메시지 전송이 외부 조건 또는 상호 합의에 의존하는 영향을 받는 출력을 포함하도록 세션 계약을 확장한다.
• 클라이언트, 서버, 제3자(예: 중개자 또는 환경)가 참여하는 세 명의 당사자로 구성된 게임을 기반으로 준수의 추상적 개념을 정의한다.
• 제3자가 부과하는 제약 조건 하에서 클라이언트와 서버가 상호작용하는 게임에서의 승리 전략으로서 준수를 모델링한다.
• 게임에서의 승리 전략과 오케스트레이터 기반 상호작용 패tern 사이의 동치성을 수립한다.
• 게임 이론적 의미론을 사용하여 고장 및 롤백 상황 하에서의 준수를 특성화한다.
• 승리 전략과 오케스트레이터 사이에 일대일 효과적인 대응 관계를 증명하여, 전략에서 오케스트레이터를 체계적으로 구축할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 세션 계약은 어떻게 제3자 승인 또는 상호 합의에 따라 메시지 전송이 결정되는 출력을 모델링할 수 있는가?
• RQ2 영향을 받는 계약에서 준수의 게임 이론적 해석은 무엇인가?
• RQ3 상호작용 고장 및 롤백 상황에서의 준수와 세 명의 당사자로 구성된 게임 기반 준수 사이의 관계는 어떻게 되는가?
• RQ4 세 명의 당사자로 구성된 게임 기반 준수와 오케스트레이터 중개 준수 사이의 비교는 어떻게 되는가?
• RQ5 영향을 받는 계약의 맥락에서 서브계약 관계의 성격은 무엇인가?

주요 결과

• 영향을 받는 세션 계약은 외부 조건 또는 상호 합의에 따라 달라지는 상호작용을 모델링하기 위해 세션 유형을 일반화한다.
• 영향을 받는 계약에서의 준수는 클라이언트, 서버, 제3자(예: 중개자 또는 환경)가 참여하는 세 명의 당사자로 구성된 게임에서의 승리 전략으로 형식적으로 해석된다.
• 게임 이론적 승리 전략 기반 준수와 상호작용 고장 및 롤백이 발생하는 시스템에서의 준수 사이에 동치성이 존재한다.
• 게임 이론적 전략 기반 준수는 오케스트레이터 중개 시스템에서의 준수와도 동치이다.
• 게임에서의 승리 전략과 오케스트레이터 사이에 일대일 효과적인 대응 관계가 존재하여, 전략 기반 오케스트레이터 구축이 가능하다.
• 영향을 받는 계약에 대한 서브계약 관계가 체계적으로 조사되었으며, 이는 서브타이핑의 개념을 영향을 받는 맥락으로 확장한 것이다.