本文關(guān)鍵詞：基于場(chǎng)景的服務(wù)組合與驗(yàn)證，，由筆耕文化傳播整理發(fā)布。

【摘要】：SOA通過(guò)把軟件分解成為一個(gè)個(gè)服務(wù)以達(dá)到解耦合和重用性的做法得到了廣泛應(yīng)用,與之結(jié)合的服務(wù)組合的方法也因此被廣泛的研究。但是隨著可用的服務(wù)數(shù)量的不斷增加以及不同組織之間相互協(xié)作性的增強(qiáng),傳統(tǒng)的服務(wù)組合方法依然存在很多的挑戰(zhàn)。1)對(duì)于一個(gè)企業(yè)(組織)而言,在處理相似的開發(fā)需求時(shí),開發(fā)人員需要重復(fù)地進(jìn)行服務(wù)查找,服務(wù)匹配,服務(wù)組合的工作,缺乏效率。2)在相似服務(wù)增多的情況下(功能類似),進(jìn)行服務(wù)選擇以及處理不同來(lái)源服務(wù)時(shí),對(duì)復(fù)雜的應(yīng)用場(chǎng)景進(jìn)行分析變得十分繁瑣。針對(duì)以上提出的挑戰(zhàn),本文結(jié)合現(xiàn)有的語(yǔ)義網(wǎng)技術(shù)和服務(wù)組合相關(guān)研究提出了基于場(chǎng)景進(jìn)行服務(wù)組合與驗(yàn)證的方案。我們首先提出抽象場(chǎng)景模板,并在此基礎(chǔ)上依據(jù)服務(wù)上下文的表述來(lái)盡可能的復(fù)用遺留系統(tǒng)。對(duì)于無(wú)法通過(guò)復(fù)用滿足的需求,我們結(jié)合語(yǔ)義網(wǎng)和服務(wù)上下文來(lái)尋找和選擇對(duì)應(yīng)的服務(wù),通過(guò)線性邏輯證明的方式來(lái)進(jìn)行服務(wù)組合。同時(shí)本文研究了需求上下文和線性邏輯轉(zhuǎn)化為通信順序進(jìn)程的方法,為組合好的服務(wù)進(jìn)行仿真驗(yàn)證。本文的研究工作有以下幾點(diǎn):1.利用抽象場(chǎng)景模板來(lái)表述需求抽象場(chǎng)景模板是對(duì)一類實(shí)際應(yīng)用場(chǎng)景進(jìn)行歸納抽象,具體的說(shuō)就是抽離出一個(gè)實(shí)際應(yīng)用場(chǎng)景可能會(huì)經(jīng)歷哪些階段,每個(gè)階段至少會(huì)有哪些功能而這些功能應(yīng)該會(huì)涉及到哪些服務(wù)。而服務(wù)上下文是針對(duì)一次實(shí)際的需求在抽象模板的基礎(chǔ)上添加對(duì)應(yīng)的內(nèi)容。2.利用線性邏輯進(jìn)行服務(wù)組合研究了服務(wù)的線性邏輯表示,把對(duì)應(yīng)的服務(wù)轉(zhuǎn)換成Classic linear logic(CLL)描述,同樣的把我們的需求表述成CLL描述并把它看成是一個(gè)猜想。這樣我們就把服務(wù)組合的問(wèn)題轉(zhuǎn)化為一個(gè)證明的問(wèn)題,如果這個(gè)證明成功了就說(shuō)明我們得到了這個(gè)服務(wù)組合。3.利用語(yǔ)義信息來(lái)解決來(lái)源不同服務(wù)的接口匹配問(wèn)題因?yàn)榉⻊?wù)來(lái)源不同,所以在服務(wù)組合的過(guò)程中會(huì)出現(xiàn)接口異構(gòu)的情況。我們對(duì)此進(jìn)行了異構(gòu)情況的總結(jié)分類,并對(duì)每一類異構(gòu)提出相應(yīng)的解決辦法,同時(shí)指出了復(fù)雜的異構(gòu)情況可以分解成多個(gè)單一的異構(gòu)情況通過(guò)多步來(lái)解決。4.利用通信順序進(jìn)程進(jìn)行服務(wù)組合驗(yàn)證通過(guò)將需求上下文中的信息以及線性邏輯證明中的信息轉(zhuǎn)化為CSP表達(dá)式,然后利用CSP表達(dá)式進(jìn)行仿真驗(yàn)證來(lái)對(duì)服務(wù)組合的有效性進(jìn)行檢測(cè)。本文提出從場(chǎng)景模型出發(fā),通過(guò)服務(wù)上下文來(lái)具體的描述需求的方法。利用盡量復(fù)用遺留系統(tǒng)的方法達(dá)到增加開發(fā)效率的目標(biāo)。最后結(jié)合統(tǒng)一通信領(lǐng)域的實(shí)際案例對(duì)本文提出的方案進(jìn)行了驗(yàn)證。
【關(guān)鍵詞】：服務(wù)組合 通信順序進(jìn)程 接口匹配 需求上下文 業(yè)務(wù)場(chǎng)景
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.09
【目錄】：

• 摘要3-5
• ABSTRACT5-9
• 第一章 緒論9-16
• 1.1 研究背景9-10
• 1.2 研究現(xiàn)狀10-14
• 1.2.1 服務(wù)組合的方法研究10-12
• 1.2.2 服務(wù)組合驗(yàn)證的研究12-13
• 1.2.3 服務(wù)組合模板的研究13
• 1.2.4 當(dāng)前研究現(xiàn)狀分析與總結(jié)13-14
• 1.3 主要研究?jī)?nèi)容14-15
• 1.4 論文結(jié)構(gòu)安排15
• 1.5 本章小結(jié)15-16
• 第二章 基于場(chǎng)景的服務(wù)組合框架16-22
• 2.1 應(yīng)用場(chǎng)景分析16-18
• 2.2 應(yīng)用框架總體架構(gòu)18-21
• 2.3 本章小結(jié)21-22
• 第三章 服務(wù)組合場(chǎng)景模型22-32
• 3.1 抽象場(chǎng)景模板模型22-26
• 3.2 服務(wù)上下文26-31
• 3.3 本章小結(jié)31-32
• 第四章 基于場(chǎng)景服務(wù)組合研究32-47
• 4.1 遺留系統(tǒng)復(fù)用研究32-40
• 4.2 基于線性邏輯的服務(wù)組合40-43
• 4.2.1 服務(wù)的線性邏輯表示40-41
• 4.2.2 基于線性邏輯的服務(wù)組合41-43
• 4.3 服務(wù)組合接.匹配研究43-46
• 4.4 本章小結(jié)46-47
• 第五章 組合驗(yàn)證研究47-58
• 5.1 服務(wù)組合驗(yàn)證方法47-54
• 5.2 仿真54-57
• 5.3 本章小結(jié)57-58
• 第六章 系統(tǒng)應(yīng)用驗(yàn)證與分析58-72
• 6.1 企業(yè)應(yīng)用場(chǎng)景58
• 6.2 案例介紹58-69
• 6.3 討論69-71
• 6.4 本章小結(jié)71-72
• 第七章 全文總結(jié)與展望72-74
• 7.1 全文總結(jié)72-73
• 7.2 展望73-74
• 參考文獻(xiàn)74-77
• 致謝77-78
• 攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄78-80

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 孫潔麗;龔立群;;Web服務(wù)組合標(biāo)準(zhǔn)規(guī)范的研究[J];現(xiàn)代圖書情報(bào)技術(shù);2007年05期

2 萬(wàn)里平;蔡美玲;高春鳴;;基于服務(wù)聯(lián)盟的Web服務(wù)組合模型及方法[J];計(jì)算機(jī)工程與應(yīng)用;2007年31期

3 郭峰;張萌;;Web服務(wù)組合的可靠性分析[J];系統(tǒng)仿真學(xué)報(bào);2008年S2期

4 程永上;王志堅(jiān);;Web服務(wù)組合在水利領(lǐng)域中的應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;2008年07期

5 陳世展;馮志勇;;服務(wù)網(wǎng)絡(luò):Web服務(wù)組合的新基點(diǎn)[J];計(jì)算機(jī)應(yīng)用研究;2008年05期

6 劉志紅;;Web服務(wù)組合的相關(guān)研究[J];農(nóng)業(yè)科技與裝備;2009年01期

7 熊偉;;Web服務(wù)組合綜述[J];信息化縱橫;2009年05期

8 曾偉;胡W

本文編號(hào)：277041