一种基于随机Petri网的Web服务组合性能瓶颈定位策略  

A Stochastic Petri Net-Based Performance Bottleneck Location Strategy for Web Services Composition

作　　者：何炎祥[1,2] 沈华[1,3] 

机构地区：[1]武汉大学计算机学院,武汉430079 [2]武汉大学软件工程国家重点实验室,武汉430072 [3]湖北工业大学计算机学院,武汉430068

出　　处：《计算机学报》2013年第10期1953-1966,共14页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划"动态Web服务组合关键技术及其性能分析研究"(2007AA01Z138);国家自然科学基金重点项目"可信软件构造理论与方法研究"(91118003);国家自然科学基金面上项目"基于编译的嵌入式系统优化研究"(61170022)资助~~

摘　　要：Web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现Web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的Web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过结构转换得到性能瓶颈定位分析结构集{顺序结构,分支结构,汇聚结构},在此基础上提出一种Web服务组合性能瓶颈定位策略.该策略首先根据库所中token消耗的速度将库所分成主动受阻库所、被动受阻库所和流通库所3类,然后分别基于3类库所在3种分析结构中的不同分布情况,通过顺向结构分析和逆向结构分析相结合的方法,讨论瓶颈可能存在的位置,并给出如何确定3种分析结构的结构发现定理.实验证明策略的预测结果是有效的.The performance of Web services composition plays an important role in improving the virtuous integration of the value chain at the core of services. For effectively identifying the performance bottlenecks, this paper proposes a performance analysis model for Web services composition, which is based Stochastic Petri Net. Based on the all direct relationships between place node and transition node, four basic structures of the model are summarized. Through structural conversion, an analysis structure set is obtained, which includes Sequence structure, Split structure and Join structure, and is used to predict performance bottlenecks that may exist. On the basis of the set, the paper presents a performance bottlenecks location strategy for Web services composition. According to the speed of consuming tokens of place, the strategy divides the place set into three subsets, which are Active Hampered Place set, Passive Hampered Place set and Circulating Place set. Under the various distributions of above three types of place sets in three kinds of analysis structures, the performance bottlenecks that may exist have been discussed through the Down Arc Analysis method and Reverse Are Analysis method. This paper also gives Structure Discovery Theorem, which is used to determine the three kinds of analysis structures. The experimental results show that the prediction of the strategy is valid.

关 键 词：随机PETRI网 WEB服务 WEB服务组合 性能瓶颈 瓶颈定位 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]