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

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

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

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