Web服務是一種自包含、自描述、模塊化的應用,可以在Internet環(huán)境下發(fā)布、定位和調(diào)用;并且在面向服務體系結(jié)構(gòu)中,Web服務組合通過集成基本服務來創(chuàng)建新的增值服務。這種以軟件作為服務的理念及技術(shù)發(fā)展使得軟件形態(tài)、生產(chǎn)、運行和使用方式均發(fā)生了很大變化,由此形成了對Web服務的研究熱點。Web服務在不同軟件應用間互操作,運行于不同平臺。因此如何對Web服務進行統(tǒng)一建模,刻畫服務的語義信息,使得服務便于被發(fā)現(xiàn)、組合、服務行為可以被檢驗,成為一個關(guān)鍵問題。本文圍繞這個問題,分析了現(xiàn)有服務描述協(xié)議的不足,提出了基于描述邏輯的解決方法:通過本體匹配建立統(tǒng)一的領域本體,為建模服務提供基礎。從靜態(tài)服務能力、動態(tài)服務行為兩方面刻畫了服務的語義模型;將語義模型在描述邏輯知識庫中表示,運用描述邏輯的推理能力實現(xiàn)服務發(fā)現(xiàn)和行為檢驗。原子服務模型可組合得到組合服務模型。以上各方法統(tǒng)一采用支持ALCQHIR+（D）-的描述邏輯系統(tǒng)RacerPro進行建模并推理實現(xiàn),取得了描述能力和推理可判定性兩方面的平衡。論文工作的主要成果表現(xiàn)在以下幾個方面:（1）提出了一種基于描述邏輯的本體匹配方法。該方法將待匹配本體載入... 

【文章來源】：南京航空航天大學江蘇省 211工程院校

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

【學位級別】：博士

【文章目錄】：
摘要
Abstract
圖表清單
注釋表
第一章 緒論
    1.1 研究背景
        1.1.1 Web 服務的語義描述需求
        1.1.2 語義Web 服務
    1.2 國內(nèi)外相關(guān)研究現(xiàn)狀
        1.2.1 Web 服務的語義模型框架
        1.2.2 基于語義的服務匹配
        1.2.3 基于邏輯的服務行為建模
        1.2.4 服務組合的語義建模
    1.3 研究目標和內(nèi)容
    1.4 研究意義
    1.5 論文組織結(jié)構(gòu)
第二章 基于描述邏輯的服務語義建模
    2.1 本體及其描述語言
        2.1.1 本體
        2.1.2 Web 本體語言OWL
    2.2 服務語義建模的邏輯基礎
        2.2.1 描述邏輯及其知識庫
        2.2.2 描述邏輯語言家族
        2.2.3 描述邏輯的推理
        2.2.4 描述邏輯系統(tǒng)RacerPro
    2.3 語義Web 服務建模
        2.3.1 Web 服務的語義描述框架
        2.3.2 本研究的總體方案
        2.3.3 本研究的關(guān)鍵問題及技術(shù)路線
    2.4 本章小結(jié)
第三章 基于描述邏輯的本體匹配
    3.1 本體及其異構(gòu)
    3.2 本體匹配
        3.2.1 本體匹配問題定義
        3.2.2 本體匹配分類
        3.2.3 本體匹配技術(shù)
    3.3 基于描述邏輯的本體匹配方法
        3.3.1 字面語義關(guān)系的獲取
        3.3.2 元素間語義關(guān)系的判定
        3.3.3 推理語義關(guān)系的獲取
    3.4 實驗案例
        3.4.1 本體匹配在DL 中的推理實現(xiàn)
        3.4.2 結(jié)果及分析
    3.5 本章小結(jié)
第四章 語義Web 服務靜態(tài)能力模型及服務匹配
    4.1 面向發(fā)現(xiàn)的語義Web 服務描述模型
        4.1.1 Web 服務描述
        4.1.2 語義Web 服務能力描述模型
        4.1.3 具體Web 服務描述
        4.1.4 服務描述模型在DL 中的表示
    4.2 服務匹配的推理
        4.2.1 語義Web 服務匹配的定義
        4.2.2 語義Web 服務匹配的推理
    4.3 實驗案例
        4.3.1 服務匹配在DL 中的推理實現(xiàn)
        4.3.2 結(jié)果及分析
    4.4 相關(guān)工作比較
    4.5 本章小結(jié)
第五章 語義Web 服務動態(tài)行為模型及檢驗
    5.1 動態(tài)描述邏輯
    5.2 面向服務行為檢驗的推理
        5.2.1 服務行為的基本推理
        5.2.2 基于規(guī)則的服務可實現(xiàn)性推理
    5.3 實驗案例
        5.3.1 服務檢驗在DL 中的實現(xiàn)
        5.3.2 結(jié)果分析
    5.4 相關(guān)工作比較
    5.5 本章小結(jié)
第六章 語義Web 服務組合
    6.1 服務的組合
        6.1.1 順序組合
        6.1.2 任選組合
        6.1.3 選擇組合
        6.1.4 并行組合
        6.1.5 循環(huán)組合
    6.2 案例分析
    6.3 組合服務的匹配與行為推理
    6.4 相關(guān)工作比較
    6.5 本章小結(jié)
第七章 總結(jié)與展望
    7.1 本文工作總結(jié)
        7.1.1 研究成果
        7.1.2 創(chuàng)新點
    7.2 研究不足及展望
參考文獻
致謝
在學期間的研究成果及發(fā)表的學術(shù)論文
附錄
    附錄A 描述邏輯ALC 語言的各種擴展語言
    附錄B 描述邏輯系統(tǒng)RacerPro
    附錄C 服務案例在DL 知識庫中的表達
    附錄D 在RacerPro 知識庫中描述Web 服務并推理實現(xiàn)匹配


【參考文獻】：
期刊論文
[1]基于動態(tài)描述邏輯的語義Web服務匹配研究[J]. 彭暉,陳立民,常亮,史忠植.  計算機研究與發(fā)展. 2008(12)
[2]基于動態(tài)描述邏輯的語義Web服務推理[J]. 史忠植,常亮.  計算機學報. 2008(09)
[3]動態(tài)描述邏輯的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  計算機學報. 2008(06)
[4]基于主體的語義Web服務自動組合研究[J]. 邱莉榕,史忠植,林芬,常亮.  計算機研究與發(fā)展. 2007(04)
[5]需求驅(qū)動的Web服務建模及其驗證:一個基于本體的方法[J]. 侯麗珊,金芝,吳步丹.  中國科學E輯:信息科學. 2006(10)
[6]從ALC到SHOQ（D）:描述邏輯及其Tableau算法[J]. 梅婧,林作銓.  計算機科學. 2005(03)
[7]語義Web的邏輯基礎[J]. 史忠植,董明楷,蔣運承,張海俊.  中國科學E輯:信息科學. 2004(10)
[8]基于描述邏輯的主體服務匹配[J]. 史忠植,蔣運承,張�？�,董明楷.  計算機學報. 2004(05)



本文編號：3493996