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

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

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