Web服務(wù)正成為一種新興的互聯(lián)網(wǎng)應(yīng)用模式,由于用戶需求的復(fù)雜性和動(dòng)態(tài)性,以及應(yīng)用環(huán)境的開放性和不確定性,單一的服務(wù)無法滿足復(fù)雜應(yīng)用的需要,僅僅從功能角度進(jìn)行服務(wù)組合已無法應(yīng)對(duì)環(huán)境和需求的快速變化。因此,如何實(shí)現(xiàn)行為約束下的可信服務(wù)組合,以便高質(zhì)量地滿足用戶的需求,對(duì)于網(wǎng)絡(luò)資源的重用和協(xié)同具有重要意義。目前,主要從功能可滿足性方面對(duì)Web服務(wù)組合進(jìn)行研究,對(duì)行為約束的處理考慮較少,在行為一致性的判定上也存在著一定的局限性。本文從服務(wù)行為的可信角度入手,主要研究以下三個(gè)方面的內(nèi)容：（1）提出了基于行為模式的可信Web服務(wù)組合分析方法。組合服務(wù)的可信性主要體現(xiàn)在功能可滿足性和組合后的行為可預(yù)期性。通過服務(wù)組件的有效組合能夠?qū)崿F(xiàn)組合服務(wù)的功能可滿足性,也是容易實(shí)現(xiàn)的。但在組合過程中,由于受組件間的交互行為或外部因素的影響,會(huì)出現(xiàn)一些不可預(yù)期的行為。因此,對(duì)于組合服務(wù)除了要判定其組合合理性還要分析行為的可預(yù)期性。本文針對(duì)服務(wù)組合中組件之間能否正確組合及交互行為關(guān)系難確定的問題,基于Petri網(wǎng)行為提出了活動(dòng)變遷的動(dòng)作模式,結(jié)合Petri網(wǎng)行為輪廓對(duì)活動(dòng)變遷的約束關(guān)系以及動(dòng)作模式對(duì)部分活動(dòng)出現(xiàn)次數(shù)... 

【文章來源】：安徽理工大學(xué)安徽省

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

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

【文章目錄】：
摘要
Abstract
引言
1 緒論
    1.1 研究背景
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 本文的內(nèi)容安排
2 基本知識(shí)
    2.1 Petri網(wǎng)的相關(guān)知識(shí)
        2.1.1 Petri網(wǎng)的基本概念
        2.1.2 Petri網(wǎng)的性質(zhì)
    2.2 Petri網(wǎng)行為
    2.3 行為輪廓
        2.3.1 行為輪廓的定義
        2.3.2 行為輪廓的性質(zhì)
3 基于動(dòng)作模式的Web服務(wù)組合的分析方法
    3.1 概述
    3.2 基本概念
    3.3 問題闡述
    3.4 動(dòng)作模式
    3.5 基于動(dòng)作模式與行為輪廓的Web服務(wù)組合方法
    3.6 實(shí)例分析
    3.7 本章小結(jié)
4 基于Petri網(wǎng)結(jié)合行為輪廓與依賴關(guān)系分析模型一致性
    4.1 概述
    4.2 問題闡述
    4.3 基本概念
        4.3.1 控制Petri網(wǎng)與數(shù)據(jù)Petri網(wǎng)
        4.3.2 控制Petri網(wǎng)與數(shù)據(jù)Petri網(wǎng)的依賴關(guān)系
    4.4 基于依賴關(guān)系的模型一致性分析
    4.5 實(shí)例分析
    4.6 本章小結(jié)
5 基于Petri網(wǎng)的業(yè)務(wù)流程變化域的分析方法
    5.1 概述
    5.2 基本概念
    5.3 基于Petri網(wǎng)動(dòng)態(tài)行為尋找變化域的分析
    5.4 實(shí)例分析
    5.5 本章小結(jié)
6 結(jié)論
    6.1 本文的主要工作
    6.2 未來工作
參考文獻(xiàn)
致謝
作者簡(jiǎn)介及讀研期間主要科研成果


【參考文獻(xiàn)】：
期刊論文
[1]基于開放Petri網(wǎng)的Web服務(wù)行為弱合理性分析[J]. 王娟,方賢文.  微電子學(xué)與計(jì)算機(jī). 2012(05)
[2]Web服務(wù)組合行為一致性的形式化描述和分析[J]. 李勁,張華,吳浩雄,向軍.  計(jì)算機(jī)應(yīng)用. 2012(02)
[3]工作流網(wǎng)系統(tǒng)合理性的語言特性[J]. 閆春鋼,蔣昌俊,丁志軍,孫萍.  應(yīng)用科學(xué)學(xué)報(bào). 2011(01)
[4]Web服務(wù)流程相容性和相似性分析[J]. 李喜彤,范玉順.  計(jì)算機(jī)學(xué)報(bào). 2009(12)
[5]Web服務(wù)組合方法綜述[J]. 倪晚成,劉連臣,吳澄.  計(jì)算機(jī)工程. 2008(04)
[6]基于Petri網(wǎng)的語義Web服務(wù)自動(dòng)組合方法[J]. 湯憲飛,蔣昌俊,丁志軍,王成.  軟件學(xué)報(bào). 2007(12)
[7]Web服務(wù)行為兼容性的判定與計(jì)算[J]. 鄧水光,李瑩,吳健,鄺礫,吳朝暉.  軟件學(xué)報(bào). 2007(12)
[8]空間信息柵格體系與服務(wù)聚合技術(shù)[J]. 唐宇,何凱濤,陳犖,景寧.  國(guó)防科技大學(xué)學(xué)報(bào). 2005(02)
[9]基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J]. 廖軍,譚浩,劉錦德.  計(jì)算機(jī)學(xué)報(bào). 2005(04)
[10]基于Pi演算的構(gòu)件演化研究[J]. 龔洪泉,趙文耘,徐如志,錢樂秋.  電子學(xué)報(bào). 2004(S1)



本文編號(hào)：3563317