基于面向?qū)ο驪etri網(wǎng)的Web服務(wù)組合研究.pdf

1、隨著Intemet的不斷發(fā)展，面向服務(wù)計(jì)算(Service-Oriented Compuring，SOC)成為了軟件領(lǐng)域最熱門的研究?jī)?nèi)容之一，而Web服務(wù)標(biāo)準(zhǔn)與技術(shù)的日趨成熟，使得Web服務(wù)成為萬維網(wǎng)上的一種重要的計(jì)算資源，并極大的推動(dòng)了面向服務(wù)計(jì)算的應(yīng)用與發(fā)展。SOC的研究涉及許多研究領(lǐng)域，其中重要的一個(gè)領(lǐng)域就是Web服務(wù)組合。
　　到目前為止，圍繞著Web服務(wù)組合這個(gè)研究課題，國(guó)內(nèi)外已有許多學(xué)術(shù)機(jī)構(gòu)的研究者從各自的研究領(lǐng)域，進(jìn)

2、行了廣泛和深入的研究。Petri網(wǎng)是一種適合于并發(fā)、異步、分布式軟件系統(tǒng)描述與分析的形式化方法，它既有嚴(yán)格的數(shù)學(xué)定義，又有直觀的圖形表示，在Web服務(wù)組合領(lǐng)域得到了廣泛的應(yīng)用。然而經(jīng)典Petri網(wǎng)無法精確表達(dá)Web服務(wù)的語(yǔ)義，并且隨著Web服務(wù)數(shù)量的增加、服務(wù)請(qǐng)求者需求的復(fù)雜多樣，基于基本Petri網(wǎng)的Web服務(wù)組合表現(xiàn)出狀態(tài)空間爆炸和封閉性等問題，進(jìn)而推動(dòng)了高級(jí)Petri網(wǎng)的研究與發(fā)展。
　　面向?qū)ο驪etri網(wǎng)綜合了Petri

3、網(wǎng)的嚴(yán)謹(jǐn)且豐富的分析方法以及表達(dá)能力強(qiáng)的特點(diǎn)和面向?qū)ο蟮某橄?、封裝和模塊化的優(yōu)點(diǎn)，能更簡(jiǎn)單直觀地描述并發(fā)的、分布式的系統(tǒng)模型以及交互行為的建模過程。本文采用面向?qū)ο驪etri網(wǎng)作為理論基礎(chǔ)，將Web服務(wù)抽象為一個(gè)方法的集合，并假定相同的方法實(shí)現(xiàn)的功能是一樣的，用OOPN形式化定義和圖形化表示單個(gè)Web服務(wù)，并設(shè)計(jì)了一個(gè)Web服務(wù)組合的模型WSC-OOPN，給出基于此模型的服務(wù)組合運(yùn)算的形式化定義和圖形表示，利用覆蓋樹、關(guān)聯(lián)矩陣和狀態(tài)方程