1、隨著社會科技的不斷發(fā)展，信息化網(wǎng)絡逐步深入到社會生活的各個方面。利用網(wǎng)絡可以便利生活，提高社會效率，改善生活質量。Web服務是基于網(wǎng)絡的應用程序接口，Web服務能夠實現(xiàn)遠端程序的本地化調用。如天氣預報服務，網(wǎng)絡繳費服務、機票定制服務等。Web服務基于XML協(xié)議進行定義，利用SOAP協(xié)議進行信息傳輸。實現(xiàn)了跨平臺的、非本地化的軟件程序網(wǎng)絡應用。利用Web服務可進行綜合軟件應用的Web服務搭建，利用此方法可加快軟件應用的開發(fā)效率，提高軟件的

2、集成水平。
　　隨著Web服務應用的拓展及普及，Web服務數(shù)量不斷增多。據(jù)有關數(shù)據(jù)報道， Web服務的數(shù)量達到千萬級。不同Web服務提供的服務接口不同，實現(xiàn)的服務功能也存在差異。在此背景下，面對數(shù)量眾多的Web服務，如何選擇符合要求的服務組合，實現(xiàn)軟件搭建需求是值得研究和思考的問題。
　　本文在當前Web服務開發(fā)和研究成果基礎上，提出了一種面向服務集的Web服務組合發(fā)現(xiàn)方法。對帶Qos性能屬性的Web服務的形式化定義進行了研

3、究；給出了面向Web服務集的服務聚類技術；根據(jù)Web服務的特點，對邏輯Petri網(wǎng)的形式化定義進行了優(yōu)化；給出了演變的邏輯Petri網(wǎng)的可達性分析方法，包括變遷使能判斷定理、一步可達標識計算方法、邏輯Petri網(wǎng)可達標識的獲取算法等；給出了基于演變后的邏輯Petri網(wǎng)的Web服務集的形式化模型；進而給出了基于全局參數(shù)約束的服務組合發(fā)現(xiàn)策略。另外，對服務組合失效替換方法也進行了研究。最后，給出了仿真實驗。通過實驗結果分析及相關方法理論比較