基于有色Petri網(wǎng)的Web服務(wù)組合與驗(yàn)證研究.pdf

1、Web服務(wù)(Web Service)是松散耦合的、可復(fù)用的軟件模塊,封裝了離散的功能;服務(wù)在Internet上發(fā)布后,能夠通過標(biāo)準(zhǔn)的Internet協(xié)議在程序中訪問。Web服務(wù)組合就是多個(gè)服務(wù)按照一定的邏輯自動(dòng)組織起來,構(gòu)成功能更強(qiáng)大的Web服務(wù)。由于服務(wù)是在高度分布、完全動(dòng)態(tài)的環(huán)境下實(shí)現(xiàn)組合,造成服務(wù)組合無法獲得一個(gè)通用的流程模型與管理環(huán)境,容易引發(fā)服務(wù)組合的動(dòng)態(tài)適應(yīng)性和流程正確性的問題。本文在總結(jié)國內(nèi)外對(duì)Web服務(wù)組合與驗(yàn)證研究的理

2、論成果的基礎(chǔ)上,探討了基于Petri網(wǎng)的Web服務(wù)組合與驗(yàn)證方法。主要研究?jī)?nèi)容和創(chuàng)新點(diǎn)如下:
　　利用有色Token表示一個(gè)服務(wù)執(zhí)行的行為特征,并將服務(wù)間交互的消息表示為有色Petri網(wǎng)中的有色Token,從而建立了表示多組合流程、多服務(wù)行為特征的Web服務(wù)組合的有色Petri網(wǎng)模型。
　　根據(jù)服務(wù)組合中消息與服務(wù)行為的關(guān)系,用有色Petri網(wǎng)中顏色Token描述消息,用消息來驅(qū)動(dòng)服務(wù),建立了基于Petri網(wǎng)的規(guī)則約束與消息

3、驅(qū)動(dòng)的Web服務(wù)自動(dòng)組合框架;實(shí)現(xiàn)了服務(wù)的自動(dòng)組合,并在自動(dòng)組合過程中動(dòng)態(tài)產(chǎn)生Petri網(wǎng)模型;實(shí)現(xiàn)了在組合過程中對(duì)Web服務(wù)組合的動(dòng)態(tài)驗(yàn)證。通過對(duì)兩類典型服務(wù)組合問題進(jìn)行了實(shí)驗(yàn)驗(yàn)證表明,該方法是正確、有效的。
　　在對(duì)Web服務(wù)組合的非確定性特征交互問題形式化定義的基礎(chǔ)上,根據(jù)服務(wù)組合的非確定性特征交互問題的規(guī)模,利用有色Petri網(wǎng)可達(dá)樹窮盡搜索法和P-不變量法,設(shè)計(jì)了兩個(gè)Web服務(wù)組合非確定性特征交互的檢測(cè)算法,并對(duì)兩個(gè)算法