邏輯Petri網分析方法及在Web服務組合中的應用.pdf

1、隨著Web服務技術的發(fā)展與應用的普及，服務數(shù)量迅猛增加，給信息服務帶來越來越大的壓力，這就需要通過改進 Web服務的描述方法，對Web服務進行有效的管理，消除服務冗余，減輕網絡負擔，提高服務的發(fā)現(xiàn)效率.此外，由于單個的Web服務很難滿足用戶的需求，因此對Web服務組合的研究也越來越多.
　　本文基于邏輯Petri網(logical Petri nets-LPNs)理論以及現(xiàn)有的Web服務聚類技術的研究，提出了一種形式化機制，以支持

2、基于服務簇的服務組合的建模和驗證，把一組功能相同或相似的服務映射為一個服務簇，利用服務簇作為服務請求和響應的基本單位，進而增大了服務請求和響應粒度，降低了服務查找和綁定難度，并利用LPNs建模驗證了組合服務的正確性.
　　首先，LPNs能夠有效地描述協(xié)同系統(tǒng)中的批處理功能和傳值不確定性，為了完善LPNs理論，提出了一種基于向量匹配的分析方法，通過定義變遷使能向量集合給出了向量匹配的方法，用以判定使能變遷；定義了LPNs的關聯(lián)矩陣，

3、給出了一步可達標識計算公式，狀態(tài)方程及可達樹的構造方法，實現(xiàn)了對LPNs的活性、可達性等性質的分析，從而達到應用LPNs解決網系統(tǒng)狀態(tài)空間爆炸問題的目的.其次，為了降低Web服務搜索空間，借鑒一些學者提出的服務聚類的思想，把一組功能相同或相似的服務映射為一個特定粒度服務簇，確定了服務簇和簇中服務的映射關系.再次，針對服務簇中服務的輸入輸出參數(shù)不確定性，基于LPNs定義了一個邏輯網元(logical net unit，LNU)對服務簇進行

4、建模，其中，簇中服務的輸入和輸出參數(shù)的不確定性能夠用邏輯輸入和輸出表達式分別進行描述；給出了服務網元模型組合的順序、并行、選擇和循環(huán)結構，在順序結構中，詳細論述了兩個網元之間存在的四種匹配關系，給出了組合模型的健壯性分析；為了構造并行結構，提出了一種庫所分裂技術.最后通過一個旅游服務實例證明了本文建模方法的可行性和有效性.
　　本文主要完善了LPNs的建模理論，給出了一種向量匹配的LPNs分析方法；提出了基于服務簇的的服務組合思想