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

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

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

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



本文編號(hào)：3773084