×
大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利

自动分析服务合同。 （英文） Zbl 1444.68110号

Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。第九届国际研讨会，TGC 2014，罗马，意大利，2014年9月5-6日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8902, 34-50 (2014).
摘要：提出了一种基于自动机的服务契约形式化描述的新方法。我们关注的基本属性是保证在多党组成的校长中，每个人都能满足自己的要求，从而使整个组成达到其目标。根据请求是同步满足还是异步满足，我们构造了一个编配器，该编配器在静态时要么生成具有所需属性的组合服务，要么检测对可能的违规行为负责的个人。为了在异步情况下做到这一点，我们求助于运筹学的技术。
关于整个系列，请参见[Zbl 1334.68020号].

引用于6文件

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{D.Basile}等人，Lect。注释计算。科学。8902，34-50（2014；Zbl 1444.68110）
全文： 内政部

参考文献：

[1] 阿齐艾，L。；博雷尔，M。；Zavattaro，G.，《请求响应操作的行为合同》，科学。计算。程序。，78, 2, 248-267 (2013) ·Zbl 1264.68117号 ·doi:10.1016/j.scico.2011.10.007
[2] 巴托莱蒂，M。；Cimoli，T。；总经理Pinna；Arbab，F。；Sirjani，M.，《借用Petri网和合同》，《软件工程基础》，66-82（2013），海德堡：施普林格出版社·Zbl 1434.68321号 ·doi:10.1007/978-3-642-40213-5_5
[3] 巴托莱蒂，M。；Cimoli，T。；祖尼诺，R。；盆地，D。；Mitchell，JC，协议与保护理论，《安全与信任原则》，186-205（2013），海德堡：施普林格，海德堡·Zbl 1390.68066号 ·doi:10.1007/978-3-642-36830-1-10
[4] 巴托莱蒂，M。；Degano，P。；Ferrari，GL，规划和验证服务组合，《计算机安全杂志》，17，5，799-837（2009）
[5] 巴托莱蒂，M。；Degano，P。；德国劳埃德船级社法拉利；Zunino，R。；Wirsing，M。；Hölzl，M.，服务发现、协调和恢复的Call-by-contract，面向服务系统的严格软件工程，232-261（2011），海德堡：斯普林格·doi:10.1007/978-3-642-20401-21
[6] 巴托莱蒂，M。；Tuosto，E。；Zunino，R.，《二氧化碳中面向契约的计算》，科学。Ann.Comp.公司。科学。，22, 1, 5-60 (2012) ·Zbl 1424.68097号
[7] Bartoletti，M.，Zunino，R.：合同逻辑。收录于：Cherubini，A.，Coppo，M.，Persiano，G.（编辑）ICTCS，第34-37页（2009年）
[8] 巴兹勒，D。；Degano，P。；法拉利，G-L；Malyshkin，V.，《安全和可靠的服务》，并行计算技术，167-181（2013），海德堡：施普林格·doi:10.1007/978-3-642-39958-9_15
[9] Basile，D.，Degano，P.，Ferrari，G.L.，Tuosto，E.：分析服务合同的自动化。扩展版本：网址：http://www.di.unipi.it/罗勒/TGC14.pdf·Zbl 1444.68110号
[10] Basile，D.，Degano，P.，Ferrari，G.L.，Tuosto，E.：通过合同自动化从编配到编舞。In:ICE（将于2014年上市）·Zbl 1433.68236号
[11] 品牌，D。；Zafiropulo，P.，《通信有限状态机》，J.ACM，30，2，323-342（1983）·Zbl 0512.68039号 ·数字对象标识代码：10.1145/322374.32280
[12] 卡桑德拉斯，CG；Lafortune，S.，《离散事件系统导论》（2006），Secaucus:Springer-Verlag New York Inc.，Secaucs
[13] Castagna，G.，Dezani-Ciancaglini，M.，Padovani，L.：关于全球类型和多党会议。计算机科学中的逻辑方法8（1）（2012）·Zbl 1238.68026号
[14] Castagna，G.，Gesbert，N.，Padovani，L.：网络服务契约理论。ACM事务处理。程序。语言系统。31(5) (2009) ·兹比尔1295.68080
[15] 卡斯塔尼亚，G。；帕多瓦尼，L。；布拉维蒂，M。；Zavattaro，G.，《移动流程合同》，CONCUR 2009-并发理论，211-228（2009），海德堡：斯普林格，海德伯格·兹比尔1254.68163 ·doi:10.1007/978-3642-04081-8_15
[16] 丹尼·卢，P-M；吉田，N。；Fomin，FV；Freivalds，R。；Kwiatkowska，M。；Peleg，D.，《通信自动机中的多方兼容性：全球会话类型的特征描述和合成》，自动机、语言和编程，174-186（2013），海德堡：斯普林格·Zbl 1334.68149号 ·doi:10.1007/978-3-642-39212-2-18
[17] 格雷，J。；马萨诸塞州哈里森；俄亥俄州伊巴拉，双向下推自动机，信息与控制，11，1-2，30-70（1967）·Zbl 0166.26601号 ·doi:10.1016/S0019-9958（67）90369-5
[18] Hemmecke，R。；科佩，M。；Lee，J。；魏斯曼特尔，R。；Junger，M。；Liebling，TM；Naddef，D。；德国劳埃德船级社奈姆豪泽；滑轮组，WR；Reinelt，G。；Rinaldi，G。；Wolsey，LA，非线性整数规划，1958-2008年整数规划50年，561-618（2010），海德堡：斯普林格·Zbl 1187.90270号
[19] Honda，K.，Yoshida，N.，Carbone，M.：多方异步会话类型。收录于：Necula，G.C.，Wadler，P.（编辑）POPL，第273-284页。ACM（2008）·Zbl 1295.68150号
[20] 兰格，J。；Tuosto，E。；库特尼，M。；Ulidowski，I.，《从本地会话类型综合编舞》，CONCUR 2012-并发理论，225-239（2012），海德堡：斯普林格，海德伯格·Zbl 1364.68291号 ·doi:10.1007/978-3-642-32940-117
[21] OASIS-技术委员会：OASIS WSBPEL TC，Web服务业务流程执行语言2.0版（2007），技术报告，OASIS。http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpelv2.0-OS.html
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。