發(fā)布時間：2023-03-04 22:15

　　隨著Web服務(wù)技術(shù)的迅速發(fā)展，越來越多的Web服務(wù)運(yùn)行在Internet上，但單個Web服務(wù)功能有限，難以滿足日益增長和不斷變化的用戶需求。因此，如何將已有的、運(yùn)行在異構(gòu)平臺上的Web服務(wù)組合起來，提供給用戶更為強(qiáng)大和增值的功能，成為Web服務(wù)研究領(lǐng)域中的一個熱點(diǎn)。目前，Web服務(wù)組合還面臨著一些問題：如何確定Web服務(wù)之間的邏輯及時序關(guān)系,以實(shí)現(xiàn)Web服務(wù)組合的自動化；如何測試和驗(yàn)證Web服務(wù)組合,以保證組合后Web服務(wù)執(zhí)行結(jié)果的正確性。針對上述問題，文本提出了基于動態(tài)邏輯的Web服務(wù)組合方法，將OWL-S描述的語義Web服務(wù)映射為動態(tài)邏輯中的動作和公式，利用動態(tài)邏輯的形式化推理來產(chǎn)生滿足用戶需求的服務(wù)組合，從而實(shí)現(xiàn)了Web服務(wù)組合的自動化，并保證了服務(wù)組合結(jié)果的正確性和完整性。 本文的主要工作包括： 1.從OWL-S中的過程模型出發(fā)，利用動態(tài)邏輯對語義Web服務(wù)進(jìn)行形式化描述。對應(yīng)于過程模型中的原子過程，可以對變量、變量綁定、輸入、輸出、前提條件和結(jié)果等多個方面進(jìn)行刻畫；對應(yīng)于過程模型中的組合過程，可以相應(yīng)地對順序、條件、選擇、循環(huán)等控制結(jié)構(gòu)進(jìn)行描述。 2.在Web服務(wù)組合過程中，...

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

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

【文章目錄】：
摘要
Abstract
插圖索引
附表索引
第1章 緒論
    1.1 課題研究背景及關(guān)鍵技術(shù)
    1.2 國內(nèi)外研究現(xiàn)狀
        1.2.1 基于工作流的Web服務(wù)組合
        1.2.2 基于人工智能規(guī)劃的Web服務(wù)組合
    1.3 論文的主要工作
    1.4 論文的組織結(jié)構(gòu)
第2章 語義Web服務(wù)描述語言O(shè)WL-S
    2.1 Web本體語言O(shè)WL
        2.1.1 OWL概述
        2.1.2 OWL的子語言
    2.2 Web服務(wù)本體語言O(shè)WL-S
        2.2.1 OWL-S概述
        2.2.2 Service Profile
        2.2.3 Service Model
        2.2.4 Service Grounding
    2.3 本章小結(jié)
第3章 動態(tài)邏輯
    3.1 動態(tài)邏輯及其推理
        3.1.1 語法
        3.1.2 直觀含義
        3.1.3 語義
        3.1.4 演繹原理
    3.2 動態(tài)邏輯動作的描述
    3.3 基于動態(tài)邏輯的人工智能規(guī)劃方法
        3.3.1 規(guī)劃領(lǐng)域、規(guī)劃問題和規(guī)劃解
        3.3.2 用戶自定義控制策略
        3.3.3 基于動態(tài)邏輯的人工智能規(guī)劃的優(yōu)缺點(diǎn)
    3.4 本章小結(jié)
第4章 基于動態(tài)邏輯的語義Web服務(wù)建模與組合
    4.1 語義Web服務(wù)建模
        4.1.1 原子Web服務(wù)建模
        4.1.2 組合Web服務(wù)建模
        4.1.3 語義Web服務(wù)實(shí)例
    4.2 語義Web服務(wù)組合
        4.2.1 語義Web服務(wù)組合描述
        4.2.2 語義Web服務(wù)組合框架
        4.2.3 語義Web服務(wù)組合實(shí)例
        4.2.4 語義Web服務(wù)組合方法的比較
    4.3 本章小結(jié)
總結(jié)與展望
參考文獻(xiàn)
致謝
附錄A 攻讀碩士學(xué)位期間所發(fā)表的學(xué)術(shù)論文



本文編號：3755111