本文選題：隨機Petri網 + Web服務�。� 參考：《計算機學報》2013年10期

【摘要】：Web服務組合的性能對推動以服務為核心的價值鏈的良性融合起著重要作用.針對如何有效發(fā)現Web服務組合中性能瓶頸的問題,提出一種基于隨機Petri網的Web服務組合性能分析模型,根據庫所和變遷之間的直接關系總結出模型的4種基本結構,通過結構轉換得到性能瓶頸定位分析結構集{順序結構,分支結構,匯聚結構},在此基礎上提出一種Web服務組合性能瓶頸定位策略.該策略首先根據庫所中token消耗的速度將庫所分成主動受阻庫所、被動受阻庫所和流通庫所3類,然后分別基于3類庫所在3種分析結構中的不同分布情況,通過順向結構分析和逆向結構分析相結合的方法,討論瓶頸可能存在的位置,并給出如何確定3種分析結構的結構發(fā)現定理.實驗證明策略的預測結果是有效的.
[Abstract]:The performance of Web services composition plays an important role in promoting the good integration of service-based value chain.To solve the problem of finding performance bottleneck in Web service composition effectively, a performance analysis model of Web service composition based on stochastic Petri net is proposed. According to the direct relationship between library and transition, four basic structures of the model are summarized.The structure set {sequence structure, branch structure, convergence structure} is obtained by structure transformation. Based on this, a performance bottleneck location strategy for Web services composition is proposed.According to the speed of token consumption in the library, the strategy divides the library into three categories: active blocked library, passive blocked library and circulation library. Then, the strategy is based on the different distribution of the three kinds of structures in which the library is located.By combining forward structure analysis with reverse structure analysis, the possible location of bottleneck is discussed, and how to determine the structure discovery theorems of three kinds of analytical structures is given.Experiments show that the prediction results of the strategy are effective.
【作者單位】： 武漢大學計算機學院;武漢大學軟件工程國家重點實驗室;湖北工業(yè)大學計算機學院;
【基金】：國家“八六三”高技術研究發(fā)展計劃“動態(tài)Web服務組合關鍵技術及其性能分析研究”(2007AA01Z138) 國家自然科學基金重點項目“可信軟件構造理論與方法研究”(91118003) 國家自然科學基金面上項目“基于編譯的嵌入式系統(tǒng)優(yōu)化研究”(61170022)資助~~
【分類號】：TP393.09

【參考文獻】

相關期刊論文 前7條

1 林闖,李雅娟,王忠民;性能評價形式化方法的現狀和發(fā)展[J];電子學報;2002年S1期

2 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務組合的描述和驗證[J];計算機學報;2005年04期

3 顧軍;羅軍舟;曹玖新;李偉;;基于排隊Petri網的服務系統(tǒng)性能建模與分析方法[J];計算機學報;2011年12期

4 朱俊;郭長國;吳泉源;;基于廣義隨機Petri網的Web服務交互行為-環(huán)境模型[J];計算機研究與發(fā)展;2012年11期

5 林闖,魏丫丫;隨機進程代數與隨機Petri網[J];軟件學報;2002年02期

6 雷麗暉;段振華;;一種基于擴展有限自動機驗證組合Web服務的方法[J];軟件學報;2007年12期

7 肖芳雄;黃志球;曹子寧;屠立忠;祝義;;Web服務組合功能與QoS的形式化統(tǒng)一建模和分析[J];軟件學報;2011年11期

【共引文獻】

相關期刊論文 前10條

1 常宏達;孫文輝;于雙元;丁丁;;Web服務組合形式理論分析與研究[J];兵工自動化;2009年05期

2 金f，

本文編號：1746193