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

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

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

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