近年來,隨著Web服務興起與發(fā)展,Web服務數量急劇增加,給信息服務帶來越來越大的壓力,這就需要改進Web服務的描述方法,以消除服務冗余,減輕網絡負擔。另外,隨著學術界以及產業(yè)界對服務計算(SOC)的關注越來越密切,加之Web服務是支持服務計算的關鍵技術之一,而單個的Web服務又很難滿足用戶的需求,因此對Web服務組合的研究也越來越多。 本文提出一種基于領域本體的標準術語規(guī)范化Web服務的功能描述,將功能相同的多個Web服務進行合并,生成一個新的復合Web服務的思想。給出了一種基于邏輯Petri網的Web服務形式化描述方法,它不僅能有效刻畫Web服務的輸入/輸出參數、質量約束及行為約束限制,而且能有效描述復合Web服務的參數不確定性。提出了用戶請求的形式化表達方法,并基于邏輯推理技術,分析了用戶請求的可接受性,只向系統(tǒng)傳送可實現的用戶請求,提高了服務組合的效率。給出了基于邏輯Petri網的服務運算算子及其相應的服務運算基本結構：順序結構、并發(fā)結構、選擇結構及迭代結構,同時進行了性質分析,如封閉性、正確性等。在服務計算基礎上,提出了一種Web服務組合模型,構建了服務組合框架。設計了一個基...

【文章頁數】：69 頁

【學位級別】：碩士

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



本文編號：3846925