×
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳。;罗伯托·祖尼诺

在活动结构上签订游戏合同。 （英语） Zbl 1352.68174号

J.日志。阿尔盖布。方法计划。 85，第3号，399-424（2016）.
摘要：事件结构是并发系统的经典模型之一。其思想是，启用\（X\vdash e）表示事件\（e）只能在集合\（X\）中的所有事件都已发生后发生。通过将事件解释为一些参与者承诺的动作，并将每个参与者与目标（事件序列上的函数）相关联，我们将事件结构用作合同的形式化模型。合同的状态是事件的序列；只要参与者的某些活动在特定状态下启动，参与者就有合同义务（在特定状态）。为了表示参与者相互不信任的事实，我们研究了事件结构上的并发游戏；在那里，参与者可以通过发起活动来实现他们的目标，并最终获胜、失败或平局。
在这种背景下产生的一个关键概念是协议：如果参与者有一个策略，可以在符合其策略的所有剧本中实现其目标（或使另一个参与者因不履行义务而受到惩罚），那么参与者就同意一组合同。另一个相关的概念是保护：参与者在任何情况下都有避免失败的策略，即使是在未达成协议的情况下，也会受到合同的保护。我们研究了获得协议和保护的条件，并表明这些属性在某类合同中相互排斥。然后，我们将合同中的协议概念与会话类型中的合规概念联系起来。特别是，我们表明，遵守与急切的战略导致达成协议这一事实相对应。

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68页第19页 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

合同;事件结构;合规性;会话类型

软件：

莫德
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法程序。85，第3号，399--424（2016；Zbl 1352.68174）
全文： 内政部

参考文献：

[1] 卡斯塔尼亚，G。；Gesbert，N。；Padovani，L.，网络服务契约理论，ACM TOPLAS，31，5，19:1-19:61（2009）
[2] 巴巴内拉，F。；de’Liguoro，U.，基于会话的客户端/服务器系统的两种子行为概念（Proc.PPDP（2010）），155-164
[3] 布拉维蒂，M。；Zavattaro，G.，《基于合同的多方服务组合》（Proc.FSEN.Proc.FSEN，LNCS，vol.4767（2007）），207-222·Zbl 1141.68502号
[4] 范德阿尔斯特，W.M.P。；北卡罗来纳州洛曼。；马苏斯，P。；斯塔尔，C。；Wolf，K.，《多方合同：同意和实施组织间流程》，计算。J.，53，1，90-106（2010）
[5] 巴巴内拉，F。；de’Liguoro，U.，《放松客户端/服务器系统中的合规性和子行为概念》（Proc.ICE.Proc.ICE，EPTCS，vol.166（2014），开放出版协会），94-110·Zbl 1433.68233号
[6] Padovani，L.，基于契约的web服务模块发现简单编排器，Theor。计算。科学。，411, 37, 3328-3347 (2010) ·兹比尔1209.68038
[7] Winskel，G.，事件结构，（Petri网进展（1986）），325-392·Zbl 0626.68022号
[8] Honda，K.，二元相互作用的类型，（Proc.CONCUR（1993）），509-523
[9] 本田，K。；Vasconselos，V.T。；Kubo，M.，《结构化通信编程的语言原语和类型规程》（Proc.ESOP（1998）），122-138
[10] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri网，事件结构和域，第一部分，Theor。计算。科学。，13, 85-108 (1981) ·Zbl 0452.68067号
[11] Winskel，G.，《事件结构简介》（REX Workshop（1988）），364-397
[12] 巴托莱蒂，M。；Cimoli，T。；Zunino，R.，《协议与保护理论》（Proc.POST.Proc.POST，LNCS，vol.7796（2013），Springer），186-205·Zbl 1390.68066号
[13] Abramsky，S。；Mellies，P.-A，《并发博弈与完全完整性》（Proc.LICS（1999）），431
[14] 巴托莱蒂，M。；Zunino，R.，《承包过程的演算》（Proc.LICS（2010）），332-341
[15] Laneve，C。；帕多瓦尼，L.，The必须重新审查预订单，（CONCUR（2007）Proc.），212-225·Zbl 1151.68319号
[16] König，D.，Sur les correspondances multivoques des ensembes，Fundam。数学。，8, 114-134 (1926)
[17] 巴托莱蒂，M。；Tuosto，E。；Zunino，R.，面向契约的计算（CO_ 2），科学。Ann.计算。科学。，22, 1, 5-60 (2012) ·Zbl 1424.68097号
[18] 甚至，S。；Yacobi，Y.，《公钥签名系统之间的关系》（1980年），Technion计算机科学部：Technion海法计算机科学部，技术代表175
[19] 布拉维蒂，M。；Zavattaro，G.，《走向编舞一致性和合同一致性的统一理论》（Software Composition，2007），34-50
[20] 巴托莱蒂，M。；Scalas，A。；Zunino，R.，会话类型的语义解构（Proc.CONCUR（2014）），402-418·Zbl 1417.68115号
[21] Bernardi，G。；O.达达。；盖伊，S。；Kouzapas，D.，《关于会话类型的对偶关系》（Proc.TGC（2014）），第51-66页·Zbl 1444.68111号
[22] Bugliesi，M。；马其顿，D。；皮诺，L。；Rossi，S.，《web服务的合规预订单》（Proc.WS-FM（2009）），76-91
[23] 布拉维蒂，M。；Zavattaro，G.，消息队列中的合同一致性和编排一致性，（WS-FM（2008）），37-54
[24] 丹尼·卢，P.-M。；Yoshida，N.，《通信自动机中的多方兼容性：全球会话类型的特征描述和合成》（Proc.ICALP（2013）），174-186·Zbl 1334.68149号
[25] 兰格，J。；Tuosto，E。；吉田，N.，《从通信机器到图形编舞》（Proc.POPL（2015）），221-232·Zbl 1346.68136号
[26] 巴苏，S。；布尔坦，T。；Ouederni，M.，《决定编舞的可实现性》（Proc.POPL（2012）），191-202年·Zbl 1321.68183号
[27] 巴托莱蒂，M。；Cimoli，T。；平纳，G.M。；Zunino，R.，事件结构中的循环因果关系，Fundam。通知。，134, 3-4, 219-259 (2014) ·Zbl 1334.68145号
[28] 本田，K。；吉田，N。；Carbone，M.，多方异步会话类型，（Proc.POPL（2008）），273-284·Zbl 1295.68150号
[29] 巴托莱蒂，M。；Tuosto，E。；Zunino，R.，《不诚实系统中合同的可实现性》（Proc.COORDINATION（2012）），245-260·Zbl 1366.68198号
[31] 巴托莱蒂，M。；Scalas，A。；Tuosto，E。；Zunino，R.，《打字诚实》（Proc.FORTE（2013）），305-320
[32] 巴托莱蒂，M。；Murgia，M。；Scalas，A。；Zunino，R.，《莫德面向合同的系统建模与验证》（Proc.WRLA（2014）），130-146·Zbl 1366.68197号
[33] Abramsky，S。；McCusker，G.，《游戏语义》（计算逻辑：1997年马克托伯多夫暑期学校会议记录（1999年），斯普林格·弗拉格出版社），1-56·Zbl 0961.68080号
[34] 里多，S。；Winskel，G.，《并发策略》（Proc.LICS（2011）），409-418
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。