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

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

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

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