基于面向對象Petri網的Web服務組合研究.pdf

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

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

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