臨沂大學信息學院　許作萍

Web服務(wù)組合的相關(guān)研究

臨沂大學信息學院許作萍

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

Web服務(wù)組合；語義Web；構(gòu)建組裝方法

引言

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

1.Web服務(wù)組合的定義

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

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

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

2.Web服務(wù)組合工作流程

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

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

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

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

3.構(gòu)件組裝方法

所謂的構(gòu)件的組裝，是將基于某一個問題范圍內(nèi)的一些構(gòu)件組合成一個所需要的某些功能的一種軟件。

面向?qū)ο蠹夹g(shù)中的類的概念，提出了 Web構(gòu)件的概念。它的主要思想是把組合邏輯信息放入類（表示一個 Web構(gòu)件）的定義中去。組合邏輯一般情況下是由消息依賴和組合類型等組成的。為充分的說明SCSL對Web構(gòu)件進行相關(guān)的定義就需要提供一個輕量級的服務(wù)組合，當然這還要提供內(nèi)部實現(xiàn)的腳本。開發(fā)一個相應的規(guī)劃語言來進一步的說明相關(guān)的服務(wù)規(guī)則和如何被規(guī)劃出來的。最后，以服務(wù)組合執(zhí)行圖 SCEG的形式提供了一個組合服務(wù)的執(zhí)行結(jié)構(gòu)，SGEC負責在執(zhí)行期間調(diào)用相應的服務(wù)并協(xié)調(diào)它們。

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

4.形式化方法

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

5.Web組合的要求

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

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

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

6.結(jié)語

經(jīng)濟競爭的加劇和市場的擴大需要企業(yè)能夠?qū)κ袌龊陀脩粜枨蟮淖兓焖俜磻@需要能夠利用已有的服務(wù)來動態(tài)組合出新服務(wù)，服務(wù)組合問題的提出是應用需求驅(qū)動的結(jié)果。總之在Web服務(wù)組合運行的過程中，其運行的質(zhì)量的差異與多種因素有著直接的關(guān)系，所以Web服務(wù)組合在未來的發(fā)展中要想穩(wěn)定的發(fā)展還有很長的路要走，這也正是我們努力的方向。

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

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

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

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

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

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

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

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

［9］門鵬.基于Petri網(wǎng)的Web服務(wù)組合相關(guān)技術(shù)研究［D］.西安電子科技大學，2009.

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