發(fā)布時(shí)間：2023-03-28 18:52

　　由于單個(gè)的Web服務(wù)已經(jīng)無(wú)法滿足服務(wù)請(qǐng)求者的復(fù)雜功能需求,因此如何將已有的、運(yùn)行在異構(gòu)平臺(tái)的Web服務(wù)組合起來(lái),提供給用戶更為強(qiáng)大和增值的功能,成為Web服務(wù)領(lǐng)域研究的一個(gè)熱點(diǎn)。目前語(yǔ)義Web服務(wù)組合的研究中仍存在諸多問(wèn)題,如對(duì)于服務(wù)組合中的各個(gè)服務(wù),如何定義和描述他們之間的邏輯時(shí)序關(guān)系和動(dòng)態(tài)交互過(guò)程以實(shí)現(xiàn)Web服務(wù)組合的自動(dòng)化執(zhí)行；對(duì)于如何驗(yàn)證和測(cè)試組合后的Web服務(wù)從而保證Web服務(wù)執(zhí)行結(jié)果的正確性等。目前W3C組織推薦的標(biāo)語(yǔ)言是Web服務(wù)本體語(yǔ)言(Web service ontology1anguage, OWL-S),然而,OWL-S僅僅從語(yǔ)法角度對(duì)Web服務(wù)組合的過(guò)程模型進(jìn)行描述,因此它對(duì)過(guò)程模型的描述只是停留在概念框架層次,這樣增大了計(jì)算機(jī)對(duì)Web服務(wù)組合過(guò)程模型進(jìn)行自動(dòng)化分析的難度。針對(duì)上述問(wèn)題,本文提出一種基于時(shí)序擴(kuò)展描述邏輯的Web服務(wù)組合的形式化方法,它通過(guò)對(duì)OWL-S過(guò)程模型的形式化的描述,從而得到OWL-S過(guò)程模型的動(dòng)態(tài)語(yǔ)義,最終建立語(yǔ)義Web服務(wù)組合的形式化模型。該方法可以將其置于嚴(yán)格的可判定推理框架之下,討論Web服務(wù)組合的相關(guān)性質(zhì),不僅在一定程度上提高了對(duì)...

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

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

【文章目錄】：
目錄
摘要
Abstract
插圖索引
附表索引
第1章 緒論
    1.1 研究背景與意義
    1.2 語(yǔ)義Web服務(wù)組合國(guó)內(nèi)外研究現(xiàn)狀
        1.2.1 基于人工智能的語(yǔ)義Web服務(wù)組合
        1.2.2 基于工作流的語(yǔ)義Web服務(wù)組合
        1.2.3 基于形式化的語(yǔ)義Web服務(wù)組合
    1.3 本文的主要工作
    1.4 論文的組織結(jié)構(gòu)
第2章 語(yǔ)義Web服務(wù)本體描述語(yǔ)言
    2.1 引言
    2.2 Web本體語(yǔ)言(OWL)
        2.2.1 Web本體語(yǔ)言概述
        2.2.2 OWL的子語(yǔ)言
    2.3 Web服務(wù)本體語(yǔ)言(OWL-S)
        2.3.1 OWL-S概述
        2.3.2 Service Profile
        2.3.3 Service Model
        2.3.4 Service Grounding
    2.4 本章小結(jié)
第3章 描述邏輯
    3.1 描述邏輯簡(jiǎn)介
    3.2 描述邏輯的語(yǔ)法、語(yǔ)義及基本結(jié)構(gòu)
        3.2.1 描述邏輯語(yǔ)法及語(yǔ)義
        3.2.2 描述邏輯基本結(jié)構(gòu)
    3.3 描述邏輯推理及Tableau算法
        3.3.1 描述邏輯的推理
        3.3.2 描述邏輯Tableau算法
    3.5 描述邏輯的應(yīng)用
    3.6 本章小結(jié)
第4章 基于時(shí)序描述邏輯的OWL-S過(guò)程模型語(yǔ)義
    4.1 引言
    4.2 描述邏輯的時(shí)序擴(kuò)展
        4.2.1 時(shí)序擴(kuò)展后的語(yǔ)法和語(yǔ)義
        4.2.2 時(shí)序擴(kuò)展后的公理和基本性質(zhì)
    4.3 0WL-S過(guò)程模型的形式化語(yǔ)義
        4.3.1 原子過(guò)程的形式化語(yǔ)義
        4.3.2 組合過(guò)程的形式化語(yǔ)義
    4.4 實(shí)例論證
        4.4.1 原子過(guò)程實(shí)例論證
        4.4.2 組合過(guò)程實(shí)例論證
    4.5 本章小結(jié)
總結(jié)與展望
參考文獻(xiàn)
致謝
附錄A 攻讀碩士學(xué)位期間所發(fā)表的論文



本文編號(hào)：3773084