服務(wù)計(jì)算概論第8章服務(wù)協(xié)作

1、第第8章章 服務(wù)協(xié)作服務(wù)協(xié)作目前，受到廣泛關(guān)注的服務(wù)編舞描述語言是W3C于2004年9月發(fā)布的WS-CDL（Web Services Choregraphy Description Language） 1.0版草案。WS-CDL采用進(jìn)程代數(shù)中的Pi演算作為其理論模型，主要用基于信道（Channel）的交互表示W(wǎng)eb服務(wù)編舞。服務(wù)組合服務(wù)組合服務(wù)協(xié)作服務(wù)協(xié)作服務(wù)編舞和服務(wù)編排（服務(wù)編舞和服務(wù)編排（1）服務(wù)編舞（Service choreography）：描述參與某次協(xié)作的多個服務(wù)之間的對等消息交互協(xié)議。該協(xié)議一般是公開公布的，由協(xié)作的所有參與者共享。服務(wù)編排（Service orchestrat

2、ion）：描述服務(wù)組合的一個過程模型，該過程模型描述如何按一定的次序和參與過程的服務(wù)進(jìn)行消息交互以完成組合服務(wù)的應(yīng)用邏輯。服務(wù)編排邏輯受全局服務(wù)編舞邏輯的約束。服務(wù)編舞和服務(wù)編排（服務(wù)編舞和服務(wù)編排（2）服務(wù)編舞和服務(wù)編排的主要區(qū)別在于應(yīng)用層面不同，服務(wù)編舞體現(xiàn)一個全局的、服務(wù)之間開展協(xié)作必須遵守的公共協(xié)議，該協(xié)議凌駕于參與服務(wù)編舞的服務(wù)編排邏輯之上；而服務(wù)編排是一種服務(wù)組合的編程手段，是組織實(shí)現(xiàn)業(yè)務(wù)邏輯的方法和途徑，一般由組織私有，并且其行為受到全局服務(wù)編舞協(xié)議的約束。服務(wù)編舞和服務(wù)編排（服務(wù)編舞和服務(wù)編排（3）服務(wù)編舞的目的、視角和用途 服務(wù)編舞的目的是為了描述某過程的服務(wù)之間的協(xié)作，因此

3、它是從全局角度描述服務(wù)的協(xié)作關(guān)系。 服務(wù)編舞體現(xiàn)了協(xié)作參與者需要遵守的公共協(xié)議，可以用于測試某一參與者的行為是否滿足該協(xié)議，也可以用于產(chǎn)生描述單個服務(wù)行為的服務(wù)組合定義的骨架。服務(wù)編舞和服務(wù)編排（服務(wù)編舞和服務(wù)編排（4）服務(wù)編排的目的、視角和用途 服務(wù)編排的目的是為了產(chǎn)生組合服務(wù)，以實(shí)現(xiàn)組織的業(yè)務(wù)邏輯。服務(wù)編排是從單個復(fù)合服務(wù)的視角描述該復(fù)合服務(wù)和其成員服務(wù)之間的消息交互過程，服務(wù)編排的功能是產(chǎn)生體現(xiàn)業(yè)務(wù)邏輯的復(fù)合服務(wù)。WS-CDL所包含的核心語言成所包含的核心語言成分分WS-CDL編舞編舞（1）Interaction元素其定義了編舞中的基本交互活動。 代碼8.1（2）控制結(jié)構(gòu)（3）工作單元（

4、workUnit）含屬性：哨（guard）和循環(huán)條件（repeat）WS-CDL信道類型定義信道類型定義受Pi演算理論的影響，WS-CDL要求交互都通過信道來進(jìn)行。通過信道可以定義參與者之間的關(guān)聯(lián)性，這點(diǎn)類似于BPEL中的correlationSet元素。另外，除了定義靜態(tài)的信道外，信道還可以被傳遞以實(shí)現(xiàn)動態(tài)的交互。代碼8.2WS-CDL角色類型定義角色類型定義（1）roleTypeWS-CDL是用某一個具體操作來定義角色。代碼8.3（2）relationshipType其定義了相互之間有交互的角色的關(guān)系類型。 代碼8.4（3）participantType其是對角色的打包，定義了某個參與者在編舞中會扮演的各種角色。代碼8.5WS-CDL數(shù)據(jù)類型定義（數(shù)據(jù)類型定義（1）WS-CDL用infomationType元素定義數(shù)據(jù)的類型，該元素事實(shí)上是對WSDL中定義的類型，或者XML Schema類型的引用。另外，WS-CDL中也有引用變量或消息的部分內(nèi)容的元素：token和tokenLocator。它們類似于BPEL中的property和propertyAlias元素。WS-CDL數(shù)據(jù)類型定義（數(shù)據(jù)類型定義（2）token用于定義一個具有某類型的變量引用，而tokenLocator則綁定某token和變量或