1、隨著面向服務計算體系架構(gòu)(Service Oriented Architecture，SOA)的逐漸推廣，Web服務的數(shù)量不斷增加，如何合理地對Web服務進行組織和建模以快速返回滿足需求的服務成為語義Web服務研究的關(guān)鍵問題之一。
　　當前，隨著網(wǎng)絡資源的豐富，服務數(shù)量越來越多，這使得服務的發(fā)現(xiàn)、組合面臨著巨大的壓力。由于服務的動態(tài)性，在響應用戶請求的過程中，可能存在一些服務失效。在傳統(tǒng)的服務組合模式中，服務的失效會造成服務流程的

2、中斷。在實際應用中，流程的中斷可能會造成巨大的損失。當服務失效時，怎樣快速地找到服務來替換失效服務變得越來越重要。
　　為了使服務的替換簡單快捷，本文基于聚類的思想，將服務功能相近的服務聚類形成一個服務簇。對功能相同或相似的服務進行聚類，并對產(chǎn)生的服務簇建立相應的Petri網(wǎng)模型。在基于服務簇層面上查找滿足條件的服務，提出了一種服務發(fā)現(xiàn)方法。給出了基于服務簇的服務組合規(guī)則，并應用于服務組合替換。運用本文提出的算法，研究不同的服務失

3、效后，服務的替換問題，以提高服務查找及替換效率。因此，本文的研究成果將對服務發(fā)現(xiàn)組合以及替換的研究有著重要的積極意義。
　　最后，通過實驗分析，驗證了本文服務發(fā)現(xiàn)和替換方法的正確性和有效性。通過實驗分別在單一服務替換與組合服務替換的情況下比較替換響應時間。結(jié)果表明，本文提出的基于服務簇的發(fā)現(xiàn)與替換方法可以大大提高效率。
　　本文主要是對基于服務簇的Web服務發(fā)現(xiàn)與替換方法進行了相關(guān)研究，著重解決了Web服務形式化建模、發(fā)現(xiàn)與