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

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

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

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