基于進程代數(shù)WS-CDL交互模式建模研究

袁曉月，萬珍珍，馮 星

(江西省科學院應(yīng)用物理研究所，330029，南昌市)

基于進程代數(shù)WS-CDL交互模式建模研究

袁曉月，萬珍珍，馮 星

(江西省科學院應(yīng)用物理研究所，330029，南昌市)

基于WS-CDL的編排是從全局視角描述Web服務(wù)交互功能，但其缺乏形式化語義。基于進程代數(shù)提出了PA4WS(Process Algebra for WS-CDL)來描述WS-CDL的形式化語法和語義。相比其他相關(guān)工作，PA4WS給出了WS-CDL編排的工作單元建模、基于信息對齊交互模式和異步交互建模。最后，通過一個例子給出了PA4WS帶來的好處。

WS-CDL；進程代數(shù)；形式化方法

0 引言

面向服務(wù)的計算(Service-Oriented Computing -SOC)是今后的主要計算模式，其主要實現(xiàn)形態(tài)是Web服務(wù)。而Web服務(wù)的復(fù)合則是關(guān)鍵問題[1-4]。現(xiàn)在主要有服務(wù)編制(Orchestration)和服務(wù)編排(Choreography)兩大類2種Web服務(wù)復(fù)合方法，第1種方法是由WS-BPEL標準實現(xiàn)的Web服務(wù)編制，它由服務(wù)編制需要一個總控流程來控制涉及到的Web服務(wù)，并協(xié)調(diào)Web服務(wù)不同操作的執(zhí)行。第2種是由WS-CDL標準實現(xiàn)的Web服務(wù)編排，服務(wù)編排并不依賴中央的總控協(xié)調(diào)過程。相反，每個涉及其中的Web服務(wù)都知道何時執(zhí)行自己的操作，和誰交互。這2種方法在Web服務(wù)交互方面僅有幾個相同的模式，Web服務(wù)交互模式描述了多個Web服務(wù)間的通訊方法。就是說，一種Web服務(wù)交互模式描述了在一個特定上下文中發(fā)生的問題對應(yīng)的解決方案集，這些方案已經(jīng)被驗證是正確的。本文描述了Web服務(wù)編排中的工作單元和基于信息對齊的交互(Interaction Based Information Alignment-IBIA)的模式，并給出了這些模式應(yīng)用的場景。

Web服務(wù)交互模式主要關(guān)注下列幾方面：1)參與者或角色，即Web服務(wù)交互由哪些參與者；……