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

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

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

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