發(fā)布時(shí)間：2021-11-14 04:50

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

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

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

【學(xué)位級(jí)別】：博士

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


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



本文編號(hào)：3493996