發(fā)布時間：2022-08-07 18:59

　　目前,Web服務(wù)已經(jīng)成為實(shí)現(xiàn)面向服務(wù)體系結(jié)構(gòu)的主要方式,日益增多的開發(fā)Web服務(wù)使得動態(tài)Web服務(wù)組合技術(shù)成為眾多學(xué)者研究的熱點(diǎn)。通過組合不同的Web服務(wù)資源,可以形成功能強(qiáng)大的服務(wù)為用戶提供新的需求。本文以現(xiàn)有面向服務(wù)體系結(jié)構(gòu)相關(guān)技術(shù)和方法為基礎(chǔ),研究了Web服務(wù)組合生命周期當(dāng)中的四個關(guān)鍵技術(shù),包括最優(yōu)Web服務(wù)組合算法、Web服務(wù)組合形式化驗(yàn)證模型、Web服務(wù)組合異常監(jiān)控方法與Web服務(wù)組合異常處理等關(guān)鍵技術(shù)等。為實(shí)現(xiàn)最優(yōu)Web服務(wù)組合,研究了基于改進(jìn)蟻群算法的最優(yōu)Web服務(wù)組合算法；針對Web組合服務(wù)質(zhì)量保證問題,研究了基于模糊Petri網(wǎng)的Web服務(wù)組合形式化驗(yàn)證模型；面向Web服務(wù)組合的運(yùn)行正確性與可靠性,研究了基于事件演算的交互行為檢測Web服務(wù)組合運(yùn)行時監(jiān)控算法；考慮Web服務(wù)環(huán)境的動態(tài)性與不穩(wěn)定性,研究了基于貝斯網(wǎng)絡(luò)的Web服務(wù)組合異常處理框架。本文的主要工作包括以下四個方面：1)提出了一種基于蟻群算法的最優(yōu)Web服務(wù)組合算法,并對傳統(tǒng)的蟻群算法狀態(tài)轉(zhuǎn)移概率和信息素更新規(guī)則進(jìn)行了改進(jìn),提高了搜索時收斂速度。2)基于模糊Petri網(wǎng)理論,建立了基于模糊Petri網(wǎng)的Web... 

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

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

【文章目錄】：
論文創(chuàng)新點(diǎn)
摘要
Abstract
1 緒論
    1.1 研究背景
    1.2 研究動機(jī)
    1.3 研究內(nèi)容
    1.4 論文的組織
2 研究基礎(chǔ)與國內(nèi)外現(xiàn)狀
    2.1 Web服務(wù)及其體系結(jié)構(gòu)
    2.2 Web服務(wù)組合方法
        2.2.1 基于工作流的的Web服務(wù)組合
        2.2.2 基于圖論的Web服務(wù)組合
        2.2.3 基于人工智能的Web服務(wù)組合
    2.3 Web服務(wù)組合的驗(yàn)證方法
        2.3.1 基于Pi演算的Web服務(wù)組合驗(yàn)證
        2.3.2 基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證
    2.4 Web服務(wù)組合的監(jiān)控方法
    2.5 Web服務(wù)組合的異常處理方法
        2.5.1 Web服務(wù)組合異常處理分類
        2.5.2 Web服務(wù)組合異常處理策略
        2.5.3 基于WS-BPEL的異常處理
    2.6 本章小結(jié)
3 基于蟻群算法的最優(yōu)Web服務(wù)組合
    3.1 Web服務(wù)組合問題描述
    3.2 研究思路
    3.3 基于蟻群算法的最優(yōu)Web服務(wù)組合建模
        3.3.1 基本蟻群算法
        3.3.2 改進(jìn)的蟻群算法
        3.3.3 Web服務(wù)組合建模
        3.3.4 最優(yōu)Web服務(wù)組合實(shí)現(xiàn)過程
        3.3.5 算法性能評價
    3.4 實(shí)驗(yàn)分析
    3.5 本章小結(jié)
4 基于模糊Petri網(wǎng)的Web服務(wù)組合形式化驗(yàn)證
    4.1 Web服務(wù)組合驗(yàn)證概述
    4.2 模糊Petri網(wǎng)
    4.3 改進(jìn)模糊Petri網(wǎng)
    4.4 Web服務(wù)組合可達(dá)性與活性
    4.5 Web服務(wù)組合的正確性驗(yàn)證
    4.6 Web服務(wù)組合可靠性驗(yàn)證
    4.7 案例分析
        4.7.1 可達(dá)性驗(yàn)證
        4.7.2 可靠性分析
        4.7.3 Web服務(wù)組合可信度
    4.8 本章小結(jié)
5 基于事件演算的Web服務(wù)組合運(yùn)行時異常監(jiān)控
    5.1 Web服務(wù)組合監(jiān)控概述
    5.2 事件演算基本元素與公理
    5.3 Web服務(wù)組合行為規(guī)約模型
    5.4 Web服務(wù)組合異常行為
    5.5 Web服務(wù)組合行為規(guī)約提取
        5.5.1 BPEL4WS核心活動
        5.5.2 基于BPEL4WS的Web服務(wù)組合模型
    5.6 映射模板設(shè)計
        5.6.1 基本活動映射模板設(shè)計
        5.6.2 結(jié)構(gòu)化活動映射模板設(shè)計
    5.7 Web服務(wù)組合運(yùn)行時監(jiān)控機(jī)制
        5.7.1 Web服務(wù)組合運(yùn)行時監(jiān)控框架
        5.7.2 Web服務(wù)組合監(jiān)控算法
    5.8 案例分析與評測
        5.8.1 Web服務(wù)組合行為規(guī)約模型構(gòu)建
        5.8.2 Web服務(wù)組合異常行為分析
        5.8.3 BPEL4WS的事件演算表示
        5.8.4 Web服務(wù)組合異常監(jiān)控
    5.9 本章小結(jié)
6 基于貝葉斯網(wǎng)絡(luò)的Web服務(wù)組合異常處理
    6.1 貝葉斯網(wǎng)絡(luò)概述
    6.2 Web服務(wù)組合異常處理框架
    6.3 Web服務(wù)組合異常處理貝葉斯網(wǎng)絡(luò)模型
        6.3.1 Web服務(wù)組合到貝葉斯網(wǎng)絡(luò)的映射
        6.3.2 貝葉斯網(wǎng)絡(luò)的參數(shù)設(shè)置
        6.3.3 算法描述
        6.3.4 改進(jìn)證據(jù)集選取
    6.4 實(shí)驗(yàn)與分析
        6.4.1 實(shí)驗(yàn)過程
        6.4.2 結(jié)果分析
    6.5 本章小結(jié)
7 總結(jié)與展望
    7.1 總結(jié)
    7.2 下一步的研究工作
參考文獻(xiàn)
附錄1 攻讀博士學(xué)位期間發(fā)表的文章
附錄2 攻讀博士學(xué)位期間參與的研究項(xiàng)目
致謝
附件


【參考文獻(xiàn)】：
期刊論文
[1]Web服務(wù)組合的Petri網(wǎng)自動生成方法[J]. 馬炳先,相東明,張正明.  小型微型計算機(jī)系統(tǒng). 2013(02)
[2]Generating test case specifications of web service composition using model checking[J]. 錢鈴莉,陳怡海.  Journal of Shanghai University（English Edition）. 2011(05)
[3]基于擴(kuò)展顏色Petri網(wǎng)的Web服務(wù)組合建模及應(yīng)用[J]. 夏妍.  電腦知識與技術(shù). 2011(21)
[4]基于Pi演算的Web服務(wù)組合過程框架[J]. 毛瑞雪.  計算機(jī)與數(shù)字工程. 2011(07)
[5]Web服務(wù)組合技術(shù)框架及其研究進(jìn)展[J]. 鄧水光,黃龍濤,尹建偉,李瑩,吳健.  計算機(jī)集成制造系統(tǒng). 2011(02)
[6]基于Petri網(wǎng)的語義Web服務(wù)流程一致性驗(yàn)證[J]. 胡佳,馮志勇,徐超,王輝.  計算機(jī)工程. 2010(19)
[7]無回溯反向鏈合成算法的研究與改進(jìn)[J]. 陳衛(wèi)衛(wèi),王艷.  中國科技信息. 2010(17)
[8]基于語義的Web服務(wù)動態(tài)組合框架的研究[J]. 閆志剛,胡海濤.  微電子學(xué)與計算機(jī). 2010(08)
[9]模糊Petri網(wǎng)及其在Web服務(wù)信任評估中的應(yīng)用[J]. 李季,朱小勇.  計算機(jī)應(yīng)用研究. 2010(02)
[10]基于有色Petri網(wǎng)和分類服務(wù)的Web服務(wù)組合模型[J]. 黃小慶,夏安邦.  計算機(jī)集成制造系統(tǒng). 2009(01)



本文編號：3670867