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

【文章頁數】：56 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
插圖索引
附表索引
第1章 緒論
    1.1 課題研究背景及關鍵技術
    1.2 國內外研究現狀
        1.2.1 基于工作流的Web服務組合
        1.2.2 基于人工智能規(guī)劃的Web服務組合
    1.3 論文的主要工作
    1.4 論文的組織結構
第2章 語義Web服務描述語言OWL-S
    2.1 Web本體語言OWL
        2.1.1 OWL概述
        2.1.2 OWL的子語言
    2.2 Web服務本體語言OWL-S
        2.2.1 OWL-S概述
        2.2.2 Service Profile
        2.2.3 Service Model
        2.2.4 Service Grounding
    2.3 本章小結
第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ī)劃領域、規(guī)劃問題和規(guī)劃解
        3.3.2 用戶自定義控制策略
        3.3.3 基于動態(tài)邏輯的人工智能規(guī)劃的優(yōu)缺點
    3.4 本章小結
第4章 基于動態(tài)邏輯的語義Web服務建模與組合
    4.1 語義Web服務建模
        4.1.1 原子Web服務建模
        4.1.2 組合Web服務建模
        4.1.3 語義Web服務實例
    4.2 語義Web服務組合
        4.2.1 語義Web服務組合描述
        4.2.2 語義Web服務組合框架
        4.2.3 語義Web服務組合實例
        4.2.4 語義Web服務組合方法的比較
    4.3 本章小結
總結與展望
參考文獻
致謝
附錄A 攻讀碩士學位期間所發(fā)表的學術論文



本文編號：3755111