基于Peti網(wǎng)的動態(tài)Web服務組合分析與驗證.pdf

1、隨著Internet由傳統(tǒng)意義下的信息發(fā)布平臺逐漸演變?yōu)橐粋€開放的分布式計算平臺，越來越多的數(shù)據(jù)資源、計算資源及應用資源以“服務”的方式進行封裝和抽象后被獲取和訪問，而實現(xiàn)資源的充分利用和優(yōu)化配置的有效手段就是動態(tài)服務組合。伴隨著Web服務技術(shù)體系的進一步規(guī)范化，使得Web服務已成為服務實現(xiàn)的主流，從而動態(tài)Web服務組合技術(shù)成為服務組合的代名詞，是研究之熱點。
　　 本文以企業(yè)應用中需要對不同異構(gòu)系統(tǒng)進行集成，滿足用戶動態(tài)變化的

2、業(yè)務需求為背景，展開對動態(tài)Web服務組合的相關(guān)技術(shù)的研究，側(cè)重于利用Petri網(wǎng)對組合方案進行優(yōu)化、分析、驗證。針對Web服務自動組合、合成服務流程驗證、合成服務優(yōu)化等Web服務研究方面仍然存在大量問題亟待解決，我們做了以下工作：(1)針對服務組合過程中，當存在多個滿足用戶需求的服務組合方案時候，如何選擇性能最優(yōu)的組合方案的問題，提出一種基于Petri網(wǎng)的動態(tài)Web服務組合的選擇策略。與當前眾多Web服務組合相關(guān)研究的創(chuàng)新之處在于，提出

3、直接從Web服務庫和用戶需求構(gòu)建非齊次線性方程組，并通過非齊次線性方程組的基礎解系，確定滿足用戶需求的所有組合方案。然后對于每一種組合方案，使用GSPN評估服務組合方案的性能，選擇出性能最優(yōu)的組合方案。(2)為了使服務組合方案性能最優(yōu)，提出一種基于Petri網(wǎng)行為關(guān)系的Web服務組合優(yōu)化算法，該算法在滿足用戶需求的同時，根據(jù)已有的Web服務，自動獲取性能最優(yōu)的服務組合方案。利用Petri網(wǎng)進行建模，采用可達圖進行分析，通過提取網(wǎng)中變遷之