[論文レビュー] Retractability, games and orchestrators for session contracts

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

Mobile Agent-Based Network Management被引用数 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.

研究の動機と目的

• 第三者の承認や相互合意に依存する相互作用をモデル化できるようにセッション契約を拡張すること。
• 動的で障害が発生しやすい、あるいは仲介が関与する相互作用シナリオ下でのクライアント/サーバーシステムにおける準拠を形式的に定式化すること。
• 影響を受ける契約における準拠の三者間ゲーム理論的解釈を確立すること。
• ゲーム理論的準拠、ロールバックを伴う相互作用ベースの準拠、オーケストレータによる仲介の準拠の間で等価性を示すこと。
• 影響を受ける契約におけるサブコントラクト関係を調査すること。

提案手法

• メッセージ送信が外部条件や相互合意に依存する影響を受ける出力を含むようにセッション契約を拡張する。
• クライアント、サーバー、および第三者（例：仲介者または環境）を含む三者間ゲームに基づく抽象的な準拠の概念を定義する。
• 第三者が課す制約の下でクライアントとサーバーが相互作用するゲームにおいて、準拠を勝利戦略としてモデル化する。
• ゲームにおける勝利戦略とオーケストレータベースの相互作用パターンとの間で等価性を確立する。
• ゲーム理論的意味論を用いて、障害やロールバック下での準拠を特徴付ける。
• 勝利戦略とオーケストレータの間に一対一の有効な対応関係が存在することを証明し、戦略からオーケストレータを体系的に構築可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてセッション契約を、送信が第三者の承認や相互合意に依存する出力をモデル化できるように拡張できるか？
• RQ2 影響を受ける契約における準拠のゲーム理論的解釈は何か？
• RQ3 三者間ゲームに基づく準拠は、相互作用の障害やロールバック下での準拠とどのように関係するか？
• RQ4 三者間ゲームに基づく準拠は、オーケストレータによる仲介の準拠とどのように比較できるか？
• RQ5 影響を受ける契約の文脈におけるサブコントラクト関係の性質は何か？

主な発見

• 影響を受けるセッション契約は、外部条件や相互合意に依存する相互作用をモデル化できるようにセッション型を一般化する。
• 影響を受ける契約における準拠は、クライアント、サーバー、および第三者（例：仲介者または環境）を含む三者間ゲームにおける勝利戦略として形式的に解釈される。
• ゲーム理論的勝利戦略に基づく準拠は、相互作用障害やロールバックを伴うシステムにおける準拠と等価である。
• ゲーム理論的戦略に基づく準拠は、オーケストレータによる仲介のシステムにおける準拠とも等価である。
• ゲームにおける勝利戦略とオーケストレータの間に一対一の有効な対応関係が存在し、戦略駆動によるオーケストレータの構築が可能になる。
• 影響を受ける契約におけるサブコントラクト関係が形式的に調査され、サブタイプの概念が影響を受ける文脈へと拡張されている。