基于邏輯Petri網(wǎng)的Web服務組合建模與分析.pdf

1、近年來，隨著Web服務興起與發(fā)展，Web服務數(shù)量急劇增加，給信息服務帶來越來越大的壓力，這就需要改進Web服務的描述方法，以消除服務冗余，減輕網(wǎng)絡負擔。另外，隨著學術界以及產(chǎn)業(yè)界對服務計算（SOC）的關注越來越密切，加之Web服務是支持服務計算的關鍵技術之一，而單個的Web服務又很難滿足用戶的需求，因此對Web服務組合的研究也越來越多。
　　本文提出一種基于領域本體的標準術語規(guī)范化Web服務的功能描述，將功能相同的多個Web服務進

2、行合并，生成一個新的復合Web服務的思想。給出了一種基于邏輯Petri網(wǎng)的Web服務形式化描述方法，它不僅能有效刻畫Web服務的輸入/輸出參數(shù)、質(zhì)量約束及行為約束限制，而且能有效描述復合Web服務的參數(shù)不確定性。提出了用戶請求的形式化表達方法，并基于邏輯推理技術，分析了用戶請求的可接受性，只向系統(tǒng)傳送可實現(xiàn)的用戶請求，提高了服務組合的效率。給出了基于邏輯Petri網(wǎng)的服務運算算子及其相應的服務運算基本結(jié)構(gòu)：順序結(jié)構(gòu)、并發(fā)結(jié)構(gòu)、選擇結(jié)構(gòu)及

3、迭代結(jié)構(gòu)，同時進行了性質(zhì)分析，如封閉性、正確性等。在服務計算基礎上，提出了一種Web服務組合模型，構(gòu)建了服務組合框架。設計了一個基于關鍵字匹配和語義匹配的服務發(fā)現(xiàn)算法，通過實例驗證了服務發(fā)現(xiàn)算法的可行性，并說明了算法的執(zhí)行過程。通過仿真實驗與基于關鍵字的服務發(fā)現(xiàn)算法、基于語義的服務發(fā)現(xiàn)算法進行了對比，證實了本文算法具有更強的服務發(fā)現(xiàn)能力。給出了基于服務計算的服務組合規(guī)則，實現(xiàn)了服務組合，并證明了其有效性和正確性。
　　最后，初步設