本文選題：隨機(jī)Petri網(wǎng) + Web服務(wù)　； 參考：《計(jì)算機(jī)學(xué)報(bào)》2013年10期

【摘要】：Web服務(wù)組合的性能對(duì)推動(dòng)以服務(wù)為核心的價(jià)值鏈的良性融合起著重要作用.針對(duì)如何有效發(fā)現(xiàn)Web服務(wù)組合中性能瓶頸的問(wèn)題,提出一種基于隨機(jī)Petri網(wǎng)的Web服務(wù)組合性能分析模型,根據(jù)庫(kù)所和變遷之間的直接關(guān)系總結(jié)出模型的4種基本結(jié)構(gòu),通過(guò)結(jié)構(gòu)轉(zhuǎn)換得到性能瓶頸定位分析結(jié)構(gòu)集{順序結(jié)構(gòu),分支結(jié)構(gòu),匯聚結(jié)構(gòu)},在此基礎(chǔ)上提出一種Web服務(wù)組合性能瓶頸定位策略.該策略首先根據(jù)庫(kù)所中token消耗的速度將庫(kù)所分成主動(dòng)受阻庫(kù)所、被動(dòng)受阻庫(kù)所和流通庫(kù)所3類(lèi),然后分別基于3類(lèi)庫(kù)所在3種分析結(jié)構(gòu)中的不同分布情況,通過(guò)順向結(jié)構(gòu)分析和逆向結(jié)構(gòu)分析相結(jié)合的方法,討論瓶頸可能存在的位置,并給出如何確定3種分析結(jié)構(gòu)的結(jié)構(gòu)發(fā)現(xiàn)定理.實(shí)驗(yàn)證明策略的預(yù)測(cè)結(jié)果是有效的.
[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.
【作者單位】： 武漢大學(xué)計(jì)算機(jī)學(xué)院;武漢大學(xué)軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室;湖北工業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：國(guó)家“八六三”高技術(shù)研究發(fā)展計(jì)劃“動(dòng)態(tài)Web服務(wù)組合關(guān)鍵技術(shù)及其性能分析研究”(2007AA01Z138) 國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目“可信軟件構(gòu)造理論與方法研究”(91118003) 國(guó)家自然科學(xué)基金面上項(xiàng)目“基于編譯的嵌入式系統(tǒng)優(yōu)化研究”(61170022)資助~~
【分類(lèi)號(hào)】：TP393.09

【參考文獻(xiàn)】

相關(guān)期刊論文 前7條

1 林闖,李雅娟,王忠民;性能評(píng)價(jià)形式化方法的現(xiàn)狀和發(fā)展[J];電子學(xué)報(bào);2002年S1期

2 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

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

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

5 林闖,魏丫丫;隨機(jī)進(jìn)程代數(shù)與隨機(jī)Petri網(wǎng)[J];軟件學(xué)報(bào);2002年02期

6 雷麗暉;段振華;;一種基于擴(kuò)展有限自動(dòng)機(jī)驗(yàn)證組合Web服務(wù)的方法[J];軟件學(xué)報(bào);2007年12期

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 金f，

本文編號(hào)：1746193