基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證與化簡(jiǎn).pdf

1、近年來(lái)Web 服務(wù)的理論和技術(shù)取得了長(zhǎng)足的發(fā)展,其保證互操作性的協(xié)議棧下層在學(xué)術(shù)界和工業(yè)界已基本達(dá)成一致.然而Web服務(wù)的價(jià)值在于服務(wù)重用, 新興的Web服務(wù)組合正是主要的重用手段。 然而基于流程的Web服務(wù)組合建模是一個(gè)復(fù)雜且易出錯(cuò)的過(guò)程。如果流程定義在投入運(yùn)行之后被發(fā)現(xiàn)有錯(cuò)，則修復(fù)錯(cuò)誤的代價(jià)相當(dāng)高，因此，在建模階段進(jìn)行有效的過(guò)程驗(yàn)證時(shí)十分必要的。此外Web服務(wù)組合可能存在不必要的流程設(shè)計(jì)而影響執(zhí)行效率。 本課題提出一

2、個(gè)基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證及簡(jiǎn)化方法，此方法包含建模、驗(yàn)證、簡(jiǎn)化三個(gè)階段。首先以Petri網(wǎng)結(jié)合工作流模式建模Web服務(wù)組合；然后根據(jù)Petri網(wǎng)的三種性質(zhì)(可達(dá)性，安全性以及死鎖)定義出Web服務(wù)組合結(jié)構(gòu)正確性驗(yàn)證模型并驗(yàn)證Web服務(wù)組合，最后運(yùn)用流程簡(jiǎn)化規(guī)則簡(jiǎn)化Web服務(wù)組合。 在具體實(shí)現(xiàn)上，本課題通過(guò)把BPEL文件轉(zhuǎn)換成PNML文件來(lái)完成Web服務(wù)組合的Petri-Net建模；再分別以覆蓋樹(shù)、關(guān)聯(lián)矩陣和狀態(tài)方程