Web服務組合的相關研究

臨沂大學信息學院　許作萍

Web服務組合的相關研究

臨沂大學信息學院許作萍

隨著經濟的發展和競爭的加劇，企業為了提高自身的綜合實力和競爭力，對一些新的技術如應用集成技術的需要進一步加深。在本文中，筆者詳細的介紹了Web服務組合的一些相關的知識和發展現狀以及未來的發展方向，本文的研究對于促進Web服務組合的發展有著積極的意義。

Web服務組合；語義Web；構建組裝方法

引言

在上個世紀80年代，美國著名學者 Marty Tnenbaume 針對當時互聯網的發展提出了一個“因特網服務”的概念。時至今日，“因特網服務”已經轉變成了“Web服務組合”。其轉變的進程，也正是經濟發展的結果。隨著經濟的發展，企業要想抓住機遇，迎合市場的需求，就要在信息的處理上快人一步，能夠迅速地抓住客戶的需求，了解市場的動態、充分的利用自己所擁有的資源。基于上述要求，“Web服務組合”應運而生，該方法能夠在一定程度上改進企業軟件系統的敏捷性、靈活性和可用性，使得企業更好的發展。

1.Web服務組合的定義

Web服務是一種軟件系統，它可以支持在網絡的環境下各個機器的交互，它有一個通用的標準來對其相應的運行進行規范。其余的系統按照其Web說明的方式與其進行相應的交互，交互非常快捷。其范圍可擴展至全球的任何的互聯網中。基于其全球性和快捷性，Web服務越來越多的被應用在企業當中。

Web服務組合就是基于Web服務的平臺，對于一些用戶的需求進行詳細的分析，總結出用戶所需要的方面，按照一定的規則來完成信息的搜集和處理，Web服務組合可用一些比較簡單的輕量級的服務來創建出一些比較復雜的重量級的服務。從而可以把互聯網上一些零碎的信息匯聚成一些系統的對于企業發展有幫助的信息有機體，來滿足企業在發展中對于信息的需求。

按照目前對于Web服務組合的研究，我們可以將Web服務組合分為動態的Web服務組合和靜態的Web服務組合。所謂靜態的Web服務組合就是根據用戶的需求，提前建立相應的一些解決措施來面對用戶的一些需要。而所謂的動態Web服務組合，就是根據用戶的實時的需求，通過目前的Web服務來組合出相應的Web服務組合來面對目前的用戶需求。下面我們主要從Web服務組合的工作流程、構建組裝方法和形式化方法來對其進行詳細的分析。

2.Web服務組合工作流程

所謂的工作流我們可以把它看做是一種具有不同功能的相連的任務。在目前的Web服務組合中，有三種技術來進行相應的操作，分別是 Web服務的業務流程執行語言、業務流程建模語言和W3C 的 Web服務編排定義語言。

Web服務的業務流程執行語言本質上是一套語法，它是一套調用服務的控制流。它的工作過程是由兩個部分組成的，這兩個工作過程分別是執行流程業務模式和抽象流程業務模式。執行流程業務模式主要是指在業務的運行中一個參與者的信息行為。抽象流程業務模式主要是指在業務的運行中，多個信息使用者對于信息的相互交換的行為。

業務流程建模語言是一種能夠組建企業在日常運營中所有業務的一種模型，這種模型涵蓋了企業的所有日常所進行的業務。其目的是促進企業的電子商務的管理。

W3C的 Web服務編排定義語言定義了交互信息的幾種類型和信息在交互時所需要的一些序列和條件。一個編排描述指一個多方的合約，從全局的視點描述多個客戶間的客觀可觀察的行為。

3.構件組裝方法

所謂的構件的組裝，是將基于某一個問題范圍內的一些構件組合成一個所需要的某些功能的一種軟件。

面向對象技術中的類的概念，提出了 Web構件的概念。它的主要思想是把組合邏輯信息放入類（表示一個 Web構件）的定義中去。組合邏輯一般情況下是由消息依賴和組合類型等組成的。為充分的說明SCSL對Web構件進行相關的定義就需要提供一個輕量級的服務組合，當然這還要提供內部實現的腳本。開發一個相應的規劃語言來進一步的說明相關的服務規則和如何被規劃出來的。最后，以服務組合執行圖 SCEG的形式提供了一個組合服務的執行結構，SGEC負責在執行期間調用相應的服務并協調它們。

加拿大 Carleton大學提出了一種能夠支持動態服務組合的框架。這種框架能夠支持為用戶的一些實時的信息進行相應的服務。這個服務的框架功能比較齊全，包含了一些信息的供應和管理，以及一些用戶的需求等一些數據。這個服務組件包含一個接口，其接口能夠描述這個組件的一些行為和屬性。

4.形式化方法

形式化方法是一種能夠提高服務軟件使用性能和功能的一些方法。這種方法是以系統的方式對框架結構進行相應的描述和相應的開發。通過形式化的方法，可以幫助我們發現系統的一些不完善和錯誤的漏洞并進行相應的修補。在我們所研究的Web服務組合的相關的領域內，對于其形式化方法的運用主要是指文本服務組合的規劃階段。在規劃階段對于該服務進行相應的檢查，檢查的內容包括流程的正確性、完整性和過程中的死鎖檢查等。

5.Web組合的要求

Web服務組合要完整的運行需要滿足以下幾個條件：

首先要確定準備采用什么樣的模型作為我們所研究的Web服務組合的框架、在一些可以替換的服務中怎樣根據QoS的相應的要求對質量的驅動來進行相應的服務的選擇、采取什么樣的方法來對Web服務組合的性能進行相應的檢測，來確定Web服務組合所具有的價值，使Web服務組合的價值達到最大化的發展等等一系列的問題。這些問題涵蓋了Web組合服務運行中的所有的問題。這些問題得不到解決，那么Web組合服務也得不到徹底的發展和相應的開發。要解決這些問題我們需要從以下兩個方面來進行相應的探討。

其中，考慮到 Web服務組合的結果將會直接面對最終的用戶，QoS在應用的過程中占有著極其重要的地位，而提高 QoS的途徑離不開語義信息的支持，接下來的研究將圍繞這兩方面展開。

6.結語

經濟競爭的加劇和市場的擴大需要企業能夠對市場和用戶需求的變化快速反應，這需要能夠利用已有的服務來動態組合出新服務，服務組合問題的提出是應用需求驅動的結果。總之在Web服務組合運行的過程中，其運行的質量的差異與多種因素有著直接的關系，所以Web服務組合在未來的發展中要想穩定的發展還有很長的路要走，這也正是我們努力的方向。

［1］雷麗暉，段振華.一種基于擴展有限自動機驗證組合Web服務的方法［J］.軟件學報，2007，12：2980-2990.

［2］蔣黎明.基于BPEL和SOA的Web服務組合技術研究與應用［D］.南京理工大學，2007.

［3］郭玉彬，杜玉越，奚建清.Web服務組合的有色網模型及運算性質［J］.計算機學報，2006，07：1067-1075.

［4］朱俊.基于Petri網的Web服務組合的交互模型及其應用機理的研究［D］.國防科學技術大學，2011.

［5］張佩云，黃波，孫亞民.基于Petri網的Web服務組合模型描述和驗證［J］.系統仿真學報，2007，12：2872-2876.

［6］辜希武，盧正鼎.基于Pi-演算的BPEL4 WS Web服務組合形式化模型［J］.計算機科學，2007，03：69-74.

［7］馬炳先，相東明，張正明.Web服務組合的Petri網自動生成方法［J］.小型微型計算機系統，2013，02：332-337.

［8］李景霞.基于擴展顏色Petri網的Web服務組合建模研究［D］.中國科學院研究生院（計算技術研究所），2006.

［9］門鵬.基于Petri網的Web服務組合相關技術研究［D］.西安電子科技大學，2009.

［10］王玉英.基于賦時有色Petri網的Web服務組合建模驗證與測試技術研究［D］.西安電子科技大學，2012.