基于Petri網(wǎng)的Web服務(wù)組合的分析與驗證.pdf

1、Web服務(wù)(Web Service)是自描述、自包含的可用網(wǎng)絡(luò)模塊，執(zhí)行具體的業(yè)務(wù)功能，進(jìn)一步擴(kuò)展了“軟件即服務(wù)”的概念。Web服務(wù)組合的運(yùn)行環(huán)境是動態(tài)的、異構(gòu)的、廣域分布的，因此驗證Web服務(wù)組合質(zhì)量方法的重要性日益突出。
　　Petri網(wǎng)不僅具有直觀的圖形描述方法，而且具有嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)描述方法，其既強(qiáng)化了描述系統(tǒng)的方法，又提供了分析系統(tǒng)行為的技術(shù)，所以本文采用了Petri網(wǎng)的分析方法來驗證Web服務(wù)組合質(zhì)量問題。
　　本文

2、在調(diào)研了Petri網(wǎng)及其特點(diǎn)、應(yīng)用等的基礎(chǔ)上，使用Petri網(wǎng)分析技術(shù)對Web服務(wù)組合進(jìn)行分析，所做的工作包括：
　?。?）選擇Web服務(wù)組合BPEL文件，利用工具生成Petri網(wǎng)模型；
　?。?）利用Petri網(wǎng)化簡規(guī)則對生成的Petri網(wǎng)模型進(jìn)行化簡；
　?。?）使用Petri網(wǎng)算法對化簡后的模型生成狀態(tài)可達(dá)圖；
　　（4）分析狀態(tài)可達(dá)圖，并使用相關(guān)工具驗證；
　　（5）提出Petri網(wǎng)優(yōu)化算法對可達(dá)圖

3、進(jìn)行優(yōu)化。
　　本文的創(chuàng)新點(diǎn)如下：
　?。?）本文采用Petri網(wǎng)化簡規(guī)則與可達(dá)狀態(tài)圖相結(jié)合的方法來分析Petri網(wǎng)的重要性質(zhì)，這樣對于比較庫所、變遷數(shù)量龐大的復(fù)雜的Petri網(wǎng)進(jìn)行分析時，可以提高分析的效率；對于分析結(jié)果，本文使用有關(guān)工具來驗證分析結(jié)果，實驗證明這種方法是正確的、可行的。
　?。?）本文根據(jù)Petri網(wǎng)相關(guān)定理及推論提出了Petri網(wǎng)優(yōu)化方法，并根據(jù)優(yōu)化方法對可達(dá)狀態(tài)圖進(jìn)行優(yōu)化，最后使用相關(guān)定理及推論