發(fā)布時間：2017-03-30 12:02

  本文關鍵詞：基于場景的服務組合與驗證，，由筆耕文化傳播整理發(fā)布。

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

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

【相似文獻】

中國期刊全文數據庫 前10條

1 孫潔麗;龔立群;;Web服務組合標準規(guī)范的研究[J];現代圖書情報技術;2007年05期

2 萬里平;蔡美玲;高春鳴;;基于服務聯盟的Web服務組合模型及方法[J];計算機工程與應用;2007年31期

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

4 程永上;王志堅;;Web服務組合在水利領域中的應用[J];計算機工程與應用;2008年07期

5 陳世展;馮志勇;;服務網絡:Web服務組合的新基點[J];計算機應用研究;2008年05期

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

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

8 曾偉;胡W

本文編號：277041