在服務(wù)質(zhì)量(QoS)感知的Web服務(wù)組合研究中,衡量服務(wù)質(zhì)量的標(biāo)準(zhǔn)通常是用戶的非功能屬性。然而,傳統(tǒng)的Web服務(wù)組合方法難以恰當(dāng)?shù)靥幚碛脩舴枪δ軐傩缘牟淮_定性與多目標(biāo)性,也并沒有考慮環(huán)境的動態(tài)變化對Web服務(wù)組合過程的影響以及不同抽象服務(wù)之間的依賴性。針對以上問題,本文提出了一系列基于概率模型檢測的Web服務(wù)組合驗證方法。首先,針對用戶的非功能性屬性的不確定性與多目標(biāo)性,提出一種基于概率模型檢測的Web服務(wù)組合多目標(biāo)驗證方法,將用戶非功能性屬性建模成為多目標(biāo)時序邏輯公式,將Web服務(wù)組合過程建模為定量多目標(biāo)馬爾可夫決策過程,使用概率模型檢測工具驗證。其次,環(huán)境的動態(tài)變化會影響具體服務(wù)的QoS值,因此,選擇具體服務(wù)時應(yīng)考慮環(huán)境對其QoS值的影響。針對此問題,在以上多目標(biāo)驗證方法的基礎(chǔ)上,提出一種開放環(huán)境下的Web服務(wù)組合多目標(biāo)驗證方法。將環(huán)境的動態(tài)變化過程建模為馬爾可夫決策過程,使之與Web服務(wù)組合的定量多目標(biāo)馬爾可夫決策過程交互,使用概率模型檢測工具驗證。再次,針對環(huán)境動態(tài)變化過程的隨機(jī)性和Web服務(wù)組合過程中不同的抽象服務(wù)之間的依賴問題,提出一種基于參數(shù)化模型的Web服務(wù)組合驗證方法...

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

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景
        1.1.1 QoS感知的Web服務(wù)組合
        1.1.2 國內(nèi)外研究現(xiàn)狀
            1.1.2.1 基于優(yōu)化算法的Web服務(wù)組合方法相關(guān)研究
            1.1.2.2 基于形式化驗證的Web服務(wù)組合方法相關(guān)研究
            1.1.2.3 不確定性與多目標(biāo)性的處理
    1.2 研究意義與挑戰(zhàn)
    1.3 主要研究內(nèi)容
    1.4 文章的組織結(jié)構(gòu)
第二章 相關(guān)概念及工具介紹
    2.1 Web服務(wù)組合
    2.2 概率模型檢測技術(shù)
    2.3 多目標(biāo)驗證技術(shù)
    2.4 PRISM工具介紹
    2.5 PARAM工具介紹
        2.5.1 PARAM架構(gòu)和相關(guān)組件
        2.5.2 PARAM模型建立
        2.5.3 PARAM工具的使用
    2.6 本章小節(jié)
第三章 Web服務(wù)組合多目標(biāo)驗證方法
    3.1 方法概述
        3.1.1 Web服務(wù)組合建模
        3.1.2 多目標(biāo)QoS屬性建模
        3.1.3 定量多目標(biāo)驗證
    3.2 案例分析
    3.3 實(shí)驗與結(jié)果分析
        3.3.1 實(shí)驗設(shè)置
        3.3.2 實(shí)驗結(jié)果與分析
            3.3.2.1 實(shí)驗一
            3.3.2.2 實(shí)驗二
            3.3.2.3 實(shí)驗三
    3.4 本章小節(jié)
第四章 開放環(huán)境下的Web服務(wù)組合多目標(biāo)驗證方法
    4.1 方法概述
        4.1.1 動態(tài)環(huán)境條件建模
        4.1.2 環(huán)境條件影響Web服務(wù)組合的機(jī)制
    4.2 案例分析
        4.2.1 案例描述
        4.2.2 Web服務(wù)選擇過程
        4.2.3 環(huán)境條件建模與交互
    4.3 實(shí)驗與結(jié)果分析
    4.4 本章小節(jié)
第五章 基于參數(shù)化模型的Web服務(wù)組合驗證方法
    5.1 基本概念及定義
        5.1.1 引入限制要求的Web服務(wù)組合模型相關(guān)定義
        5.1.2 參數(shù)化的模型的相關(guān)定義
    5.2 方法概述
        5.2.1 建立環(huán)境條件的參數(shù)化模型
            5.2.1.1 QoS屬性組成部分
            5.2.1.2 環(huán)境條件的PMDP建模
        5.2.2 Web服務(wù)組合過程的建模
            5.2.2.1 環(huán)境條件影響QoS值的機(jī)制
            5.2.2.2 Web服務(wù)組合過程的Re-PMDP建模
    5.3 案例分析
        5.3.1 環(huán)境條件建模
        5.3.2 Web服務(wù)組合過程建模
        5.3.3 參數(shù)化的Web服務(wù)組合驗證
    5.4 實(shí)驗與結(jié)果分析
        5.4.1 實(shí)驗一
        5.4.2 實(shí)驗二
        5.4.3 實(shí)驗三
    5.5 本章小節(jié)
第六章 總結(jié)與展望
參考文獻(xiàn)
致謝
在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文



本文編號：3807993