文森佐·西安西亚;Gianluigi法拉利;罗伯特·瓜夏莱;丹尼尔·斯特罗洛 基于事件的编排。 (英语) Zbl 1209.68032号 科学。计算。程序。 75,第10号,848-878(2010). 摘要:面向服务方法的一个重要特征是能够通过可编程的协调模式聚合服务交互中涉及的活动。可以采用两种不同的方法来处理服务协调:编排和编排。在本文中,我们引入了一种形式化方法,以从全局观测器的角度,本着编排模型的精神处理服务之间的协调。特别是,我们解决了验证服务交互设计和编排约束之间的遵从性和一致性的问题。 引用于1文件 MSC公司: 68英里11 互联网主题 68个M12 网络协议 关键词:面向服务架构;服务协调;服务会话;一致性;过程结石 软件:奶牛;琳达;科莱姆;fc2工具 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}等人,科学。计算。程序。75,第10号,848--878(2010;Zbl 1209.68032) 全文: 内政部 参考文献: [1] 阿马迪奥·R·M。;卡斯特拉尼,I。;Sangiorgi,D.:关于异步像素的互模拟,Theor。计算。科学。195,第2期,291-324(1998)·Zbl 0915.68009号 ·doi:10.1016/S0304-3975(97)00223-5 [2] 巴托莱蒂,M。;Degano,P。;法拉利,G.L。;Zunino,R.:《安全服务编排》,计算机科学讲义4667(2007)·Zbl 1195.68015号 [3] 博雷尔,M。;布鲁尼,R。;凯恩斯。;尼古拉·R·D。;拉内斯,我。;洛雷蒂,M。;马丁斯,F。;蒙塔纳里,美国。;拉瓦拉,A。;Sangiorgi,D。;Vasconselos,V.T。;Zavattaro,G.:Scc:以服务为中心的微积分,计算机科学讲义4184,38-57(2006) [4] Bouali,A。;Ressouche,A。;罗伊,V。;De Simone,R.:fc2工具集,计算机科学课堂讲稿1102,441-445(1996) [5] 业务流程成熟度模型(bpmm)。网址:http://www.omg.org/spec/BPMM/。 [6] 布拉维蒂,M。;Zavattaro,G.:多方服务组合合同的基础理论,基金。通知。89,第4期,451-478(2008)·Zbl 1154.68336号 [7] Bruni,R.:面向服务计算的微积分,计算机科学讲义5569(2009) [8] Carbone,M。;本田,K。;吉田,N.:以结构化通信为中心的web服务编程,计算机科学课堂讲稿4421,2-17(2007)·Zbl 1187.68064号 ·doi:10.1007/978-3-540-71316-6_2 [9] Cardelli,L。;Gordon,A.D.:移动环境,Theor。计算。科学。240,第1期,177-213(2000)·Zbl 0954.68108号 ·doi:10.1016/S0304-3975(99)00231-5 [10] V.Ciancia、G.L.Ferrari、R.Guanciale、D.Strollo,全球服务协调政策,收录于:FACS 2008年、2008年。 [11] Ciancia,V。;法拉利,G.L。;Guanchiale,R。;Strollo,D.:检查交易行为的正确性,计算机科学讲座笔记5048,134-148(2008) [12] Ciancia,V。;Montanari,U.:命名集的名称抽象函子,Electron。注释理论。计算。科学。203,第5号,49-70(2008)·Zbl 1279.68052号 [13] V.Ciancia,U.Montanari,作为资源绑定有效模型的对称族,摘自:计算机科学中的Coalgebraic方法第十次研讨会论文集,CMCS 2010,Electron。注释Theor。计算。科学。(2010)(印刷版)·Zbl 1247.68172号 [14] 克里维兰,R。;帕罗,J。;Steffen,B.:并发工作台:用于验证并发系统的基于语义的工具,ACM trans。程序。语言系统。15,第1号,36-72(1993) [15] 库戈拉,G。;De Cote,J.E.M.:关于在发布订阅中间件中引入位置感知,377-382(2005) [16] 德尼古拉,R。;法拉利,G.L。;Pugliese,R.:KLAIM:一种用于代理交互和移动性的内核语言,IEEE trans。柔和。eng.24,No.5,315-330(1998) [17] 法拉利,G.L。;Guanciale,R。;斯特罗洛,D。;Tuosto,E.:在基于事件的框架中通过类型进行协调,计算机科学讲义4574,66-80(2007)·Zbl 1215.68148号 ·doi:10.1007/978-3-540-73196-25 [18] 法拉利,G.L。;格内西,S。;蒙塔纳里,美国。;Pistore,M.:移动流程的模型检查验证环境,ACM trans。柔和。eng.Methodol公司。12,第4号,440-473(2003) [19] 法拉利,G.L。;Guanciale,R。;Strollo,D.:动态和异构网络上基于事件的服务协调,计算机科学讲义4294453-458(2006) [20] 法拉利,G.L。;Guanchiale,R。;Strollo,D.:Jscl:服务协调中间件,计算机科学讲义422946-60(2006) [21] G.L.Ferrari、R.Guanciale、D.Strollo、E.Tuosto,《重构长期交易》,收录于:WS-FM,2008年,第127-142页。 [22] G.L.Ferrari、R.Guanciale、D.Strollo、E.Tuosto,《重构长期交易:案例研究》,TGC,2010年。 [23] 法拉利,G.L。;蒙塔纳里,美国。;Tuosto,E.:使用多态类型对像素的hd-自传体进行共代数最小化,Theor。计算。科学。331,第2–3号,325-365(2005)·Zbl 1070.68102号 ·doi:10.1016/j.tcs.2004.09.021 [24] 法拉利,G.L。;蒙塔纳里,美国。;Tuosto,E.:标称计算的模型检查,软件科学和计算结构基础3441,1-24(2005)·Zbl 1119.68115号 ·doi:10.1007/b106850 [25] Fournet,C。;Gonthier,G.:异步计算的等价层次,J.log。阿尔盖布。程序。63,第1期,131-173(2005)·兹比尔1066.68088 ·doi:10.1016/j.jrap.2004.01.006 [26] Fournet,C。;Gonthier,G。;莱维,J.-J。;Maranget,L。;Rémy,D.:移动代理演算,计算机科学讲义1119406-421(1996) [27] 弗雷,D。;Roman,G.-C.:移动自组织网络中的上下文软件发布订阅,计算机科学课堂讲稿4467,37-55(2007) [28] Gadducci,F。;米库兰,M。;Montanari,U.:关于置换代数,(预)带和命名集,高阶符号计算。19,第2–3号,283-304(2006)·Zbl 1105.68083号 ·doi:10.1007/s10990-006-8749-3 [29] Gelernter,D.:林达的生殖通信,ACM trans。掠夺。语言系统。7,第1号,80-112(1985)·Zbl 0559.68030号 ·数字对象标识代码:10.1145/2363.2433 [30] R.Guanciale,《信号演算:超越基于信息的服务协调》,博士论文,IMT高级研究所,卢卡,2009年。 [31] Guidi,C。;卢奇,R。;Gorrieri,R。;北布西。;Zavattaro,G.:面向服务计算的微积分,计算机科学讲义4294,327-338(2006) [32] 轩尼诗,M。;Riely,J.:移动代理系统中的资源访问控制,Inf.comput。173,第1期,82-120(2002)·Zbl 1009.68081号 ·doi:10.1006/inco.2001.3089 [33] 本田,K。;Tokoro,M.:异步通信的对象演算,计算机科学讲义512133-147(1991) [34] 黄,Y。;Gannon,D.:基于web服务的事件通知规范的比较研究,7-14(2006) [35] 卡扎米亚金,R。;Pistore,M.:编排一致性分析:异步通信和信息对齐,计算机科学讲稿4184227-241(2006) [36] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.:网络服务编排的微积分,计算机科学课堂讲稿4421,33-47(2007)·Zbl 1187.68070号 ·doi:10.1007/978-3-540-71316-64 [37] Y.Liu,B.Plale,《发布-订阅事件系统调查》,技术报告TR574,印第安纳大学计算机科学系,2003年。 [38] 梅耶,R。;Cahill,V.:Steam:无线自组网基于事件的中间件,639-644(2002) [39] Milner,R.:《多元({\pi})演算:教程》,F辑,《北约ASI 94》(1993) [40] Misra,J.:网络服务编排的编程模型,2-11(2004) [41] 蒙塔纳里,美国。;Pistore,M.:异步像素的有限状态验证,计算机科学课堂讲稿1579255-269(1999) [42] 蒙塔纳里,美国。;Pistore,M.:Pi-calculus,结构化余代数和最小hd-automata,1893年计算机科学讲义,569-578(2000)·Zbl 0996.68125号 [43] 蒙塔纳里,美国。;Pistore,M.:《历史依赖自动机:导论》,计算机科学讲义3465,1-28(2005) [44] M.Pistore,历史依赖自动机,博士论文,比萨大学信息学院,1999年。比萨大学博士论文TD-5/99。 [45] O.B.规范,OASIS-BPEL,http://www.oasis-open.org/cover/bpel4ws.html。 [46] D.Strollo,面向服务计算的协调原语设计与实验,博士论文,高级研究所,IMT,卢卡,2009年。 [47] 苏,J。;布尔坦,T。;Fu,X。;Zhao,X.:《走向网络服务编舞理论》,计算机科学讲稿4937,1-16(2008) [48] Vincenzo Ciancia,命名集的可及函子和最终余代数,比萨大学博士论文·Zbl 1394.68246号 [49] Web服务编排描述语言版本1,http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/。 [50] Yoneki,E。;Bacon,J.:基于内容的路由和按需多播,788-793(2004) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。