Web服務(wù)組合QoS建模與屬性驗(yàn)證研究.pdf

1、隨著互聯(lián)網(wǎng)技術(shù)的迅速發(fā)展，傳統(tǒng)的分布式計(jì)算技術(shù)已不能滿(mǎn)足用戶(hù)需求，Web服務(wù)應(yīng)運(yùn)而生并成為面向服務(wù)計(jì)算的范例。隨著Web服務(wù)技術(shù)的不斷發(fā)展及其應(yīng)用范圍的逐步擴(kuò)大，越來(lái)越多的企業(yè)將其業(yè)務(wù)功能和流程封裝成標(biāo)準(zhǔn)的Web服務(wù)發(fā)布到Internet上，致使Internct上的服務(wù)數(shù)量呈指數(shù)增長(zhǎng)的趨勢(shì)。這些由Web服務(wù)提供者發(fā)布的Web服務(wù)中，存在大量功能相同但具有不同服務(wù)質(zhì)量(QoS)的服務(wù)。這些日益增多的Web服務(wù)有成千上萬(wàn)種不同的組合方案，可

2、以組合出具有相同功能但不同QoS的組合服務(wù)。一如何判斷服務(wù)組合方案是否滿(mǎn)足用戶(hù)的需求，是Web服務(wù)組合必須解決的一個(gè)關(guān)鍵問(wèn)題。
　　 本文從提高QoS屬性驗(yàn)證的準(zhǔn)確度方面對(duì)Web服務(wù)組合QoS屬性驗(yàn)證問(wèn)題進(jìn)行了探索性研究。首先，綜合分析現(xiàn)有QoS模型的優(yōu)缺點(diǎn)，提出了一種QoS本體模型，該模型以O(shè)WL-S為參考，對(duì)其中的過(guò)程模型進(jìn)行了擴(kuò)展，支持多種QoS屬性的度量方式，能很好地滿(mǎn)足服務(wù)質(zhì)量描述的需求，具有良好的擴(kuò)展性。其次，提出一

3、種擴(kuò)展OWL-S描述的Web服務(wù)組合模型轉(zhuǎn)換為Markov模型的方法，并將Markov模型轉(zhuǎn)換為概率模型檢測(cè)器PRISM的輸入語(yǔ)言，該方法能夠?qū)崿F(xiàn)自動(dòng)驗(yàn)證基于擴(kuò)展OWL-S描述的Web服務(wù)組合的QoS屬性。最后，綜合比較了兩種已有的反例產(chǎn)生算法KSP和XBF算法，提出了一種結(jié)合了兩者優(yōu)點(diǎn)的反例產(chǎn)生方法XKSP算法。該算法采用KSP算法產(chǎn)生一條診斷路徑，采用XBF算法中的Diag圖存儲(chǔ)該診斷路徑，該算法避免了KSP算法需大量枚舉路徑的缺點(diǎn)