鄧水光，吳朝暉. Web服務組合方法綜述. 中國科技論文在線，2008，3（2）:79-84.

Time：2 hours

??? Web服務組合領域的研究內容包括：Web 服務組合建模語言、服務組合方法、服務組合執行、服務組合驗證等方面。我的研究應結合CPS的概念，從服務組合方法和服務組合驗證方面入手，結合原有的研究成果，提出一些考慮CPS系統時空特性的改進后的服務組合方法和形式化驗證方法。

??? 通過本文的閱讀，初步理解了Web服務組合方法的研究現狀和基本概念，本文認為Web 服務組合是指當單個Web 服務無法滿足用戶需求時，將若干Web 服務進行有機合成，以形成大粒度的具有內部流程邏輯的組合服務的過程。

??? 當前，工業界和學術界提出了眾多的Web 服務組合方法，可根據不同的分類標準進行歸類。

根據Web 服務組合實現方式可以分為服務編制(Orchestration)和服務編排(Choreography)兩大類。兩者的區別在于：服務編制需要一個總控流程來控制涉及到的Web 服務，并協調Web 服務不同操作的執行。相比之下，服務編排并不依賴中央的總控協調過程。相反，每個涉及其中的Web 服務都知道何時執行自己的操作，和誰交互。

此外按照Web 服務組合的動態性程度可以分為靜態Web 服務組合和動態Web 服務組合；

根據自動化程度可以分為手動Web服務組合、半自動Web 服務組合和全自動Web 服務組合方法。

按照Web 服務組合方法的技術或理論基礎可以分為基于工作流的服務組合和基于人工智能的服務組合。

?????? 本文根據服務組合目標任務（所解決問題類型）的不同，將這些方法分成業務流程驅動的服務組合方法和問題求解的服務組合方法兩大類。

??? 一. 業務流程驅動的Web服務組合主要是以工作流為技術基礎，根據動態性、靈活性等特點將基于工作流的服務組合的實現方式分為三類：靜態服務組合、基于模板的服務組合和逐步演化的服務組合。

??? 二. 即時任務求解的Web服務組合方法主要包含了兩大類方法：基于AI （人工智能）理論的Web 服務自動組合方法和基于圖搜索的Web 服務自動組合方法。（這部分內容需要重點看一下，理論程度較高）

??? 1. 基于AI理論的Web 服務組合服務組合問題可以被視為一個規劃問題的自動求解，即給定一個初始狀態和目標狀態，在一個服務集合中尋求一條服務組合的路徑以達到從初始狀態到目標狀態的演變。

??? 縱觀目前基于AI 的Web 服務自動組合方法，它們均基于某種形式化方法或者推理系統，需要對服務進行預處理和形式化轉換，方法復雜度較高。典型的包括：

??? 1) 基于情景演算的服務組合。

??? 2) 基于PDDL 的服務組合。

??? 3) 基于層次任務網的服務組合。

??? 4) 基于定理證明的服務組合。

??? 2. 基于圖搜索的Web 服務組合是指：在基于圖搜索的服務自動組合方法中，服務以及服務之間的關系被表示成關系圖，服務組合的過程被轉化為在關系圖中進行遍歷以尋找從輸入到輸出或者從輸出到輸入的可達路徑。

* 名詞解釋：

人工智能：人工智能是研究人類智能活動的規律，構造具有一定智能的人工系統，研究如何讓計算機去完成以往需要人的智力才能勝任的工作，也就是研究如何應用計算機的軟硬件來模擬人類某些智能行為的基本理論、方法和技術。 人工智能學科研究的主要內容包括：知識表示、自動推理和搜索方法、機器學習和知識獲取、知識處理系統、自然語言理解、計算機視覺、智能機器人、自動程序設計等方面。

謂詞推演：（詳見相關工具書）數理邏輯最基本的形式系統。又稱一階邏輯。一個可以回答真假的命題，不僅可以分析到簡單命題，還可以分析到其中的個體、量詞和謂詞。個體表示某一個物體或元素，量詞表示數量，謂詞表示個體的一種屬性 。

?

李景霞，侯紫峰. Web服務組合綜述.? 計算機應用研究，2005，（12）:4-7.

Time: 0.5 hour

??? 本文介紹了Web 服務體系結構和兩種有代表性的Web服務描述方式，著重介紹了當前主流的三大類Web服務組合方法。跟上面一篇文章有很多重復的地方，畢竟文章寫得早，而且雜志也一般，了解一下基本概念還是可以的。

??? 三大類Web服務組合方法包括：

1. 基于BPEL4WS的Web服務組合方法。BPEL4WS，Business Process Execution Language for Web Services，Web服務的商業流程執行語言，是專為整合Web服務而制定的一項規范標準。

??? 與類似BPEL4WS這樣來表達業務流程的還有BPEL等。

2. 模型驅動的Web服務組合方法。

3. 基于AI規劃的Web服務組合方法。

??? 論文最后也提到了幾個研究方向，現在看來仍然要按照這些方面去做：

如何基于語義準確地發現Web服務（服務發現）；

如何準確產生滿足應用需求及相應約束的組合方案（服務組合方法與執行）；

如何對Web服務組合方案進行評估、優化（服務組合可信性驗證）；

如何監控Web服務組合的執行和相應的容錯處理（服務替換和服務管理）。

?

?

崔華，應時，袁文杰，胡羅凱. 語義Web服務組合綜述. 計算機科學，2010，37（5）:21-25.

Time： 1.5 hours

??? 本論文跟第一篇有很多相似之處，有些是把服務組合換成Web服務組合描述的，也算是微創新吧，了解基本概念和研究現狀還是挺有好處的。另外，讀了本文，發現對服務組合方法如何分類并不重要，研究重點應放在借鑒原有方法，結合CPS系統的特性，提出改進性或借鑒性的新方法。

??? 本文提出的定義：

語義web服務是由良定的、具有豐富語義信息的描述語言描述的web服務，基于web的軟件系統和應用終端能夠通過語義推理實現服務發現、選擇、組合以及執行的智能化和自動化。

語義Web服務組合是以語義Web服務為研究對象，充分利用Web服務語義描述文檔提供的靜態知識和服務的能力，使用語義推理技術查找能夠以給定參數為輸入，執行后可以產生期待輸出的Web服務集，并將它們有機地組織起來，以形成粒度更大、功能更強、新的增值服務或者系統的過程。

??? 語義Web服務組合的研究目標是充分利用語義web中本體提供的靜態知識和web服務能力，通過語義web服務推理技術實現web服務資源管理的智能化，解決web服務資源在語義Web中的自動發現、組合和執行問題。語義Web服務組合研究的基本思想是通過建立一個能夠在多個層面上描述web服務的描述模型，為服務組合提供更為精確和通用的語義信息，然后以此為基礎，利用語義推理技術實現服務發現、選擇、組合和執行的智能化、自動化。

??? 本文根據語義Web服務組合使用的方法學將其分為3類：

基于工作流的語義web服務組合。

基于人工智能的語義web服務組合。

基于形式化方法的語義web服務組合，包括基于狀態演算、基于進程代數以及基于描述邏輯的語義Web服務組合方法。（本部分重點看一下，理論程度很高）

??? 基于狀態演算的語義Web服務組合有兩類：基于Petri網的語義Web服務組合和基于自動機的語義服務組合。

??? 進程代數是使用代數方法研究通信并發系統的理論的泛稱，它包括π演算(π-Calculus)、通信系統演算CCS(Calculus of Communication Systems)。進程代數能夠描述和分析并發、異步、非確定的分布式系統的行為，對動態實體進行建模，因而將進程代數引入語義Web服務組合，能夠為其提供嚴密的形式化語義。

??? 動態描述邏輯(Dynamic Description Logic，DDL)將靜態的知識表示和動態的推理相結合，形成一種統一的形式化框架，具有清晰的語義特征，既提供了可判定的推理服務，又能有效地對動態過程和運行機制進行表示和推理。

??? 目前，國內外在語義web服務研究方面主要著眼于三個方面：

一是，創建一種計算機之間能夠理解的、同時能夠充分表示Web服務的行為、功能、屬性和約束的描述語言；

二是，在web服務描述語言的基礎上提出一種支持服務自動發現、組合和執行的模型或體系結構。（這是我的研究重點）

??? 語義Web服務組合的關鍵是使用語義匹配和推理技術，自動處理服務的查詢和匹配。因此，如何針對當前服務發現后繼服務，產生滿足要求的組合序列，是語義Web服務組合算法要解決的核心問題。

??? 服務相似性度量是服務匹配實現的關鍵。當前，服務匹配中的相似性度量通常采用語義距離來表達，語義距離的大小決定了兩個概念間的匹配程度。由于語義距離是在構建本體時人工定義的，具有很大的主觀性，因此為不同概念間的語義相似性計算提供一套有效的處理機制仍然是服務匹配中有待深入研究的一個關鍵問題。

三是服務組合的形式化描述與驗證。服務組合是一個復雜易錯的過程，因而語義web服務及其組合的形式化描述和驗證是語義web服務中一個重要的研究方向。

??? 由于語義Web服務組合具有良好的形式化基礎，因此語義web服務能夠借助一階邏輯、線性邏輯、進程代數以及狀態演算等形式化方法建模組合過程，利用公理、定理和規則通過形式化推理檢查組合模型的正確性和有效性，從而保證組合服務的順利執行。
??? 語義web服務組合的正確性是指組合結構安全、有界；有效性是指組合結構中的每一個節點都是可達的，并且在給定的輸入下，執行后能夠提供期待的輸出。

??? 1. Petri網被廣泛應用到語義Web服務組合的形式化描述與驗證中。

??? 2. π演算也成為語義Web服務組合和驗證的又一重要工具。

??? Petri網主要用于驗證組合方案的有效性和可行性，但難以處理服務組合的動態特性；而π演算適合刻畫服務組合的動態行為，但缺乏直觀、圖形化的工具支持。

* 名詞解釋

形式化驗證：（詳見形式化驗證文件夾中《什么是形式化驗證》）形式驗證就是從數學上完備地證明系統是否實現了設計者的意圖。這意味著首先要用某種語言和邏輯構造系統的數學模型，然后運用嚴格的數學推理來證明設計的正確性。形式驗證的主要優點是完備性，能夠完全斷定設計的正確性。其缺點是首先要對原始設計進行模型抽取，這對使用者有數學技能和經驗上的要求。而且，有的工具需要人工引導(如定理證明)，有的工具存在狀態空間爆炸問題(如模型檢驗)。

進程代數：（查看相關工具書）進程代數是關于通信并發系統的代數理論的統稱，進程代數的一個顯著特征是把并發性歸結為非確定性，將并發執行的進程的行為看成是各單個進程的行為的所有可能的交錯合成，即所謂交錯語義。進程代數研究的核心問題是進程的等價性，即在什么意義下兩個進程的行為相同?在進程代數領域使用的最為廣泛的等價關系有互模擬、測試等價、失敗等價等。process algebra is the study of pertinent equational theories with their models, while the wider field that also includes the study of transition systems and related structures, ways to define them and equivalences on them will be called process theory.

轉載于:https://www.cnblogs.com/peterpan/archive/2011/02/14/1954299.html

總結

以上是生活随笔為你收集整理的[论文泛读]Web服务组合综述相关论文1（3篇）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。