×
阿扬·J·穆伊（Arjan J.Mooij）。;克里斯蒂安·斯塔尔;马克·沃霍夫

关于服务可替换性的公平测试和一致性。 （英语） Zbl 1208.68087号

J.日志。阿尔盖布。程序。 79，编号3-5，233-244（2010）.
概要：一致的预订单描述了一项服务是否可以被另一项服务安全替换。也就是说，原始服务的所有合作伙伴都应该是新服务的合作伙伴。服务的合作伙伴与服务的交互方式总是可以达到某个共同的目标。
我们将一致性前序与线性分支时间谱中已知的前序联系起来，尤其是公平测试。一致性测试和公平测试之间的差异包括终止和成功的建模，以及任何合作伙伴都无法可靠使用的服务部分。除了理论结果外，我们还讨论了引入的概念的实际相关性。

引用于3文件

MSC公司：

68米15 网络和计算机系统的可靠性、测试和容错

关键词：

形式化方法;行为等效性;精炼;面向服务的计算
PDF格式BibTeX公司 XML格式引用
\textit｛A.J.Mooij｝等人，J.Log。阿尔盖布。程序。79，编号3--5，233--244（2010；Zbl 1208.68087）
全文： 内政部

参考文献：

[1] Baeten，J。；Weijland，W.，《过程代数》（1990），剑桥大学出版社·Zbl 0716.68002号
[2] M.Bravetti，G.Zavattaro，基于合同的多方服务构成，收录于：FSEN’07，LNCS，第4767卷，2007年，第207-222页。；M.Bravetti，G.Zavattaro，《基于合同的多方服务构成》，载于：FSEN’07，LNCS，第4767卷，2007年，第207-222页·Zbl 1141.68502号
[3] M.Bravetti，G.Zavattaro，《消息队列存在下的合同合规性和编排合规性》，见WS-FM’08，LNCS，第5387卷，2009年，第37-54页。；M.Bravetti，G.Zavattaro，《消息队列存在下的合同合规性和编排合规性》，见WS-FM’08，LNCS，第5387卷，2009年，第37-54页。
[4] E.Brinksma、A.Rensink、W.Vogler，《公平测试》，收录于：CONCUR’95，LNCS，第962卷，1995年，第313-327页。；E.Brinksma、A.Rensink、W.Vogler，《公平测试》，收录于：CONCUR’95，LNCS，第962卷，1995年，第313-327页。
[5] 布鲁克斯，S。；霍尔，C。；Roscoe，A.，《通信顺序过程理论》，《ACM杂志》，31,3560-599（1984）·Zbl 0628.68025号
[6] 博雷尔，M。；德尼古拉，R。；Pugliese，R.，《过程、信息和计算的基本观测值》，149，95-109（1999）
[7] 卡斯塔尼亚，G。；Gesbert，N。；Padovani，L.，《web服务契约理论》，《ACM编程语言和系统事务》，31（2009）
[8] E.Clarke，E.Emerson，《使用分支时间时序逻辑设计和合成同步骨架》，收录于：《程序逻辑》81，LNCS，第131卷，1982年，第52-71页。；E.Clarke，E.Emerson，《使用分支时间时序逻辑设计和合成同步骨架》，收录于：《程序逻辑》81，LNCS，第131卷，1982年，第52-71页·Zbl 0546.68014号
[9] De Nicola，R.，《过渡系统的扩展等价性》，《信息学报》，24，2，211-237（1987）·兹伯利0636.68069
[10] 德尼古拉，R。；Hennessy，M.，《过程等价性测试》，《理论计算机科学》，34，83-133（1984）·Zbl 0985.68518号
[11] C.Fournet，T.Hoare，S.Rajamani，J.Rehof，《无卡滞一致性》，载于：CAV’04，LNCS，第3114卷，2004年，第242-254页。；C.Fournet，T.Hoare，S.Rajamani，J.Rehof，《无卡滞一致性》，载于：CAV’04，LNCS，第3114卷，2004年，第242-254页·Zbl 1103.68612号
[12] C.Laneve，L.Padovani，《必须重温的预订》，载于：CONCUR’07，LNCS，第4703卷，2007年，第212-225页。；C.Laneve，L.Padovani，《必须重温的预订》，载于：CONCUR’07，LNCS，第4703卷，2007年，第212-225页·兹比尔1151.68319
[13] 马利克，R。；斯特拉德，D。；Reeves，S.，《冲突与公平测试》，《计算机科学基础杂志》，17，4，797-813（2006）·Zbl 1096.68109号
[14] A.Mooij，M.Voorhoeve，适配器生成的验证技术，见WS-FM’08，LNCS，第5387卷，2009年，第207-223页。；A.Mooij，M.Voorhoeve，适配器生成的验证技术，见WS-FM’08，LNCS，第5387卷，2009年，第207-223页。
[15] V.Natarajan，R.Cleaveland，《分歧与公平测试》，载于：ICALP’95，LNCS，第944卷，1995年，第648-659页。；V.Natarajan，R.Cleaveland，《分歧与公平测试》，载于：ICALP’95，LNCS，第944卷，1995年，第648-659页·Zbl 1412.68155号
[16] 菲利普斯，I.，拒绝测试，理论计算机科学，50241-284（1987）·Zbl 0626.68011号
[17] Rensink，A。；Vogler，W.，《公平测试、信息和计算》，205，2，125-198（2007）·Zbl 1109.68077号
[18] 斯塔尔，C。；马苏斯，P。；Bretschneider，J.，《根据操作指南确定服务的替代性》，LNCS ToPNoC，5460，II，172-191（2009）·Zbl 1235.68320号
[19] 范德阿尔斯特，W.M.P。；北卡罗来纳州洛曼。；马苏斯，P。；斯塔尔，C。；Wolf，K.，《多方合同：同意和实施组织间流程》，《计算机杂志》，第53、1、90-106页（2010年）
[20] R.van Glabbeek，线性时间分支时间谱II；无声移动顺序过程的语义，见：CONCUR’93，LNCS，第715卷，1993年，第66-81页。；R.van Glabbeek，线性时间分支时间谱II；无声移动的顺序过程的语义，见：CONCUR’93，LNCS，第715卷，1993年，第66-81页。
[21] R.van Glabbeek，线性时间分支时间谱I.具体、顺序过程的语义，收录于：过程代数手册，Elsevier，2001年，第3-99页。；R.van Glabbeek，《线性时间分支时间谱I。具体、顺序过程的语义》，收录于：《过程代数手册》，爱思唯尔出版社，2001年，第3-99页·Zbl 1035.68073号
[22] R.van Glabbeek，M.Voorhoeve，《活力、公平和不可能的未来》，收录于：CONCUR’06，LNCS，第4137卷，2006年，第126-141页。；R.van Glabbeek，M.Voorhoeve，《活力、公平和不可能的未来》，收录于：CONCUR’06，LNCS，第4137卷，2006年，第126-141页·Zbl 1151.68560号
[23] W.Vogler，in：Petri网的模块化构造和偏序语义，LNCS，第625卷，Springer-Verlag，1992年。；W.Vogler，in：Petri网的模块化构造和部分顺序语义，LNCS，第625卷，Springer-Verlag，1992年·Zbl 1293.68015号
[24] K.Wolf，我的服务有合作伙伴吗？LNCS ToPNoC 5460（II）（2009）152-171。；K.Wolf，我的服务有合作伙伴吗？LNCS ToPNoC 5460（II）（2009）152-171·Zbl 1235.68321号
[25] K.Wolf，C.Stahl，J.Ott，R.Danitz，验证SOA场景中的活锁自由，收录于：ACSD’09，IEEE计算机协会，2009年7月，第168-177页。；K.Wolf，C.Stahl，J.Ott，R.Danitz，《验证SOA场景中的活锁自由》，收录于：ACSD’09，IEEE计算机协会，2009年7月，第168-177页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。