瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 (英语) Zbl 1243.68042号 科学。计算。程序。 77,第3号,290-313(2012年). 概述:Web服务是一个自我描述、自包含的模块化应用程序,可以通过网络(如Internet)发布、定位和调用。Web服务组合提供了一种通过组合不同的现有设施来获得增值服务的方法,这些设施能够支持商业应用程序的集成。WS-CDL(web服务编排描述语言)是W3C推荐的候选语言,用于描述web服务组合中参与者的对等协作。本文重点讨论WS-CDL的几个重要方面,即数据变量、时间限制以及协作的优先级。在WS-CDL中没有优先级,因此,我们的第一个目标之一是为优先级协作提供WS-CDL-定义。我们还通过优先级定时有色Petri网定义了WS-CDL(带优先级)的语义。 MSC公司: 68英里11 互联网主题 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:web服务;web服务组合;优先级;编舞;时间着色Petri网 软件:M网络;里奥;BPEL2oWFN型 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,科学。计算。程序。77,第3号,290--313(2012;Zbl 1243.68042) 全文: 内政部 参考文献: [1] Van Der Aalst,W.M.P.:区间时间有色Petri网及其分析,计算机科学讲义691,451-472(1993) [2] Van Der Aalst,W.M.P。;Odijk,M.A.:用区间时间有色Petri网分析火车站,实时系统9,241-263(1995) [3] W.M.P.van der Aalst,M.Dumas,C.Ouyang,A.Rozinat,H.M.W.Verbeek,编舞一致性检查:一种基于BPEL和Petri网的方法,在:Dagstuhl研讨会过程06291,业务流程在SOA中的作用,2006。http://drops.dagstuhl.de/opus/volltexte/2006/830。 [4] Marsan,M.Ajmone;Balbo,G。;博比奥,A。;Chiola,G。;孔戴,G。;Cumani,A.:关于随机时间的Petri网,80-87(1985) [5] 阿隆索,G。;卡萨蒂,F。;Kuno,H。;Machiraju,V.:网络服务(2002) [6] T.Andrews等人,BPEL4WS–Web服务的业务流程执行语言。版本1.1,2003年5月,http://www.ibm.com/developerworks/library/specification/ws-bpel/。 [7] Arbab,F.:Reo:基于通道的组件合成协调模型,《计算机科学中的数学结构》14,第3期,329-366(2004)·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153 [8] Bause,F.:关于具有静态优先级的Petri网的分析,《信息学报》33,第7期,669-686(1986)·Zbl 0849.68086号 ·doi:10.1007/s002360050065 [9] 贝斯特,E。;Koutny,M.:优先系统的Petri网语义,理论计算机科学96,175-215(1992)·Zbl 0753.68059号 ·doi:10.1016/0304-3975(92)90184-H [10] 本·哈菲德,I。;格拉芙,S。;Quinton,S.:《为具有优先级的系统构建分布式控制器》,《逻辑与代数编程杂志》第80期,第3-5期,194-218页(2011年)·Zbl 1217.68057号 ·doi:10.1016/j.jlap.2010.10.001 [11] 贝斯特,E。;Devillers,R。;Koutny,M.:Petri网代数(2001)·Zbl 0968.68110号 [12] 贝斯特,E。;西弗拉扎克。;霍普金斯,R.P。;Klaudel,H。;Pelz,E.:M网:高级Petri网的代数,以及并发编程语言语义的应用,《信息学报》35,第10期,813-857(1998)·Zbl 0917.68160号 ·doi:10.1007/s002360050144 [13] 博洛涅西,T。;Lucidi,F。;Trigila,S.:从定时Petri网到定时LOTOS(1990) [14] Fred D.J.Bowden,《Petri网建模时间》,摘自:Proc。第二届澳大利亚-日本随机模型研讨会,1996年。 [15] 布罗基,A。;运河,C。;皮门特尔,E。;Vallecillo,A.:形式化web服务编排,理论计算机科学电子笔记(2004)·Zbl 1271.68083号 [16] 布尔坦,T。;Fu,X。;Su,J.:分析web服务的对话,IEEE Internet computing 10,No.1,18-25(2006) [17] M.Carbone,K.Honda,N.Yoshida,web服务结构化通信中心编程,收录于:ESOP,2007年,第2-17页·Zbl 1187.68064号 ·doi:10.1007/978-3-540-71316-6_2 [18] CPN Tools主页。www.cs.au.dk/CPNTools。 [19] R.Hamadi,B.Benatallah,基于Petri网的web服务组合模型,收录于:ADC’03:第14届澳大利亚数据库会议论文集,2003年。 [20] Hoare,C.A.R.:通信顺序过程,(1985)·Zbl 0637.68007号 [21] Jensen,K.:有色Petri网。基本概念、分析方法和实际应用,理论计算机科学专著(1997)·兹伯利0883.68098 [22] Jensen,K。;克里斯滕森,L.M.:彩色Petri网。并发系统的建模和验证(2009年)·Zbl 1215.68153号 [23] C.Laneve,L.Padovani,《流畅的管弦乐队》,收录于:FoSSaCS,2006年,第32-46页·Zbl 1180.68195号 ·doi:10.1007/11690634 [24] N.Lohmann,《ws-bpel 2.0的特征完整Petri网语义》,载于:Web服务和形式方法,第四届国际研讨会,2007年ws-FM,澳大利亚布里斯班,2007年9月28日至29日。《会议记录》,2007年,第77-91页。 [25] Martens,A.:分析基于web服务的业务流程,计算机科学课堂讲稿3442,19-33(2005)·Zbl 1119.68305号 ·doi:10.1007/b107062 [26] P.Merlin,《通信协议可恢复性研究》,加利福尼亚大学博士论文,1974年。 [27] Milner,R.:通信与并发,(1989)·Zbl 0683.68008号 [28] Peterson,J.L.:Petri网理论和系统建模,(1981)·Zbl 0461.68059号 [29] 邱子秋、赵晓霞、蔡春才、杨浩,《走向舞蹈编导的理论基础》,载《第十六届万维网国际会议论文集》,WWW 2007年,第973–982页。 [30] C.Ramchandani,《用定时Petri网对异步并发系统进行性能评估》,麻省理工学院博士论文,剑桥,1973年·Zbl 0362.68090号 [31] Roohi,N。;Salaün,G。;Mirian-Hosseinabadi,S.:通过翻译成FSP分析和弦规范,理论计算机科学电子笔记255,159-176(2009)·Zbl 1364.68143号 [32] Salaun,G。;波尔多,L。;Schaerf,M.:使用进程代数描述和推理web服务,(2004) [33] Sifakis,J.:使用Petri网进行性能评估,75-93(1977) [34] Tasharofi,S。;Sirjani,M.:使用reo和CASM对WS-CDL进行形式化建模和一致性验证,理论计算机科学电子笔记229,第2期,155-174(2009)·Zbl 1347.68240号 [35] J.P.Thomas、M.Thomas-Ghinea,网络服务流建模,收录于:IEEE电子商务国际会议,美国加利福尼亚州纽波特海滩,2003年6月,第391-398页。 [36] H.M.W.Verbeek,W.M.P.van der Aalst,使用Petri网分析BPEL流程,摘自:第二届Petri网应用于协调、工作流和业务流程管理国际研讨会论文集,2005年,第59-78页。 [37] V.Valero,D.de Frutos,F.Cuartero,具有合理和实际持续时间的TPN的严格可达性问题的可判定性,收录于:Proc。第五届Petri网和性能模型国际研讨会,1993年,第56-65页。 [38] Wang,J.:时间Petri网,理论与应用,(1998)·兹比尔0924.68147 [39] 万维网联盟(W3C)。http://www.w3.org/。 [40] Web服务编排描述语言1.0版(WS-CDL)。http://www.w3.org/TR/ws-cdl-10/。 [41] W3C公司。Web服务描述语言(WSDL)。版本1.1。http://www.w3.org/TR/wsdl/。 ·Zbl 0881.68019号 [42] Web服务编排接口(WSCI)1.0。http://www.w3.org/TR/wsci/。 [43] Yang,H。;X.赵。;邱,Z。;Pu,G。;Wang,S.:web服务编排描述语言(WS-CDL)的正式模型,893-894(2006) [44] Yeung,W.L.:将WS-CDL和BPEL映射到CSP中,用于web服务的行为规范和验证,297-305(2006) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。