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

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

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

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