近年來,隨著Web服務(wù)興起與發(fā)展,Web服務(wù)數(shù)量急劇增加,給信息服務(wù)帶來越來越大的壓力,這就需要改進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ù)進行合并,生成一個新的復(fù)合Web服務(wù)的思想。給出了一種基于邏輯Petri網(wǎng)的Web服務(wù)形式化描述方法,它不僅能有效刻畫Web服務(wù)的輸入/輸出參數(shù)、質(zhì)量約束及行為約束限制,而且能有效描述復(fù)合Web服務(wù)的參數(shù)不確定性。提出了用戶請求的形式化表達方法,并基于邏輯推理技術(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)及迭代結(jié)構(gòu),同時進行了性質(zhì)分析,如封閉性、正確性等。在服務(wù)計算基礎(chǔ)上,提出了一種Web服務(wù)組合模型,構(gòu)建了服務(wù)組合框架。設(shè)計了一個基...

【文章頁數(shù)】：69 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 引言
    1.2 研究現(xiàn)狀
    1.3 研究動機及主要工作
    1.4 論文組織結(jié)構(gòu)
2 Web服務(wù)組合相關(guān)知識
    2.1 邏輯Petri網(wǎng)
    2.2 Web服務(wù)
    2.3 用戶請求
    2.4 本章小結(jié)
3 基于邏輯Petri網(wǎng)的服務(wù)運算
    3.1 服務(wù)網(wǎng)
    3.2 服務(wù)運算算子
    3.3 服務(wù)運算性質(zhì)
    3.4 本章小結(jié)
4 基于邏輯Petri網(wǎng)的服務(wù)組合
    4.1 服務(wù)組合框架
    4.2 服務(wù)發(fā)現(xiàn)
    4.3 運用服務(wù)計算的服務(wù)組合技術(shù)
    4.4 本章小結(jié)
5 建模工具的初步實現(xiàn)與仿真
    5.1 Web服務(wù)組合平臺的體系結(jié)構(gòu)與功能結(jié)構(gòu)
    5.2 Web服務(wù)組合工具的實現(xiàn)
    5.3 比較分析
    5.4 本章小結(jié)
6 總結(jié)與展望
    6.1 工作總結(jié)
    6.2 研究展望
參考文獻
致謝
攻讀碩士期間主要成果
攻讀碩士期間參加的科研項目



本文編號：3846925