利用控制依赖关系算法分析BPEL4 WS.pdfVIP

CN43-1258／TP 计算机工程与科学 2008年第30卷第10期 ISs烈1007-130X Vd．30，No．10．2008 COMPUTERENGINEERING＆SCIENCE 文章编号：1007—130X(2008)10-0045—03 利用控制依赖关系算法分析BPEL4WS。 ofBPEL4WStheControl Analysis Using Relation DependencyAlgorithm 王敬亚．朱怀宏。胡琰华。徐洁磐 WANG Jing-ya．ZHU Yan-hna。XUJie-pan Huai—hong。HU (南京大学计算机科学与技术系，江苏南京210093) of Scienceand (DepartmentComputer Technology。NanjingUniversity．Nanjing210093。China) BPEL4WS控制流程的基础上提出了控制依赖关系概念，并设计了一个复杂度为O(N2)的控制依赖关系图生成算法。最 后，基于控制依赖关系图，讨论了如何进行BP既4WS的控制冲突检查和执行优化。 ． Abstract．Theservice BPEIAWS，whichwas andBEA，is compositionspecificationlangtmge proposedbyⅢM，Microsoft thestate-of-the～artindustrialstandard．Basedor／．the ofcontrolflow，the of relation analysis conceptioncomro]dependency inBPEIAWSis efficient withthetime of0(N2)is for thecontrol proposed．Analgorithm complexity presentedgenerating relation onthecontrol relation discusseshowtOdetectcontrol dependency Finally，based dependencygraph，thepaper grape conflictsinBPEL4WSto thenmtime andhowoptimize performanceofBPⅡ4WS 关键词：BPEL4WS；服务组合；控制流；控制依赖；控制冲突 Keywords：BPEL4WS；servicecomposition；．controlflow；control conflict dependency；control 中图分类号：TP31l 文献标识码：A 现各种各样的错误(如死循环、数据未初始化等)。目前，针 1引言 对BPEL4WS的验证问题，国内外已经做了大量的研究工 作。在这些工作中，有些是基于Petri网[‘]，有些是基于进 随着因特网在各个领域应用的普及和深化，