文章基本信息

标题：Retractability, games and orchestrators for session contracts
本地全文：下载
作者：de'Liguoro, Ugo ; Barbanera, Franco
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2017
卷号：13
期号：3
语种：English
出版社：Technical University of Braunschweig
摘要：Session contracts is a formalism enabling to investigate client/serverinteraction protocols and to interpret session types. We extend sessioncontracts in order to represent outputs whose actual sending in an interactiondepends on a third party or on a mutual agreement between the partners. Suchcontracts are hence adaptable, or as we say "affectible". In client/serversystems, in general, compliance stands for the satisfaction of all client'srequests by the server. We define an abstract notion of "affectible compliance"and show it to have a precise three-party game-theoretic interpretation. Thisin turn is shown to be equivalent to a compliance based on interactions thatcan undergo a sequence of failures and rollbacks, as well as to a compliancebased on interactions which can be mediated by an orchestrator. Besides, thereis a one-to-one effective correspondence between winning strategies andorchestrators. The relation of subcontract for affectible contracts is alsoinvestigated.
关键词：Computer Science - Logic in Computer Science