基于π-演算的Web服務事務補償模型的研究.pdf

1、隨著網(wǎng)絡(luò)的普及和Web技術(shù)的迅速發(fā)展,人們迫切需要在Internet上實現(xiàn)跨平臺、語言獨立、松散耦合的異構(gòu)應用的集成和交互,這對傳統(tǒng)的分布式計算技術(shù)提出了新的要求。Web服務作為一種新型的分布式計算模型應運而生,成為網(wǎng)絡(luò)上數(shù)據(jù)和信息集成的有效機制。
　　 服務組合是將現(xiàn)有的可用Web服務組合起來、協(xié)同執(zhí)行,形成功能更強大的增值服務。為了滿足不同Web服務之間運行結(jié)果的一致性和可靠性要求,我們需要在Web服務組合中提供事務處理的支

2、持。Web服務事務不同于傳統(tǒng)的ACID事務,不能通過簡單回滾來恢復已完成的動作,因此,需要采用補償機制來保證數(shù)據(jù)的一致性。按照不同的補償安裝方式,可將補償模型分為靜態(tài)和動態(tài)補償模型。靜態(tài)補償模型的補償不是隨著事務的執(zhí)行而動態(tài)安裝的,因此這種方法缺乏靈活性,容易在復雜的網(wǎng)絡(luò)環(huán)境中發(fā)生錯誤。而很多動態(tài)補償模型是基于流的,即采用集中式的協(xié)調(diào)機制,缺乏移動性,不能有效地模擬結(jié)構(gòu)不斷變化的Web服務系統(tǒng)。盡管目前存在著多種補償模型,但他們之間的關(guān)

3、系并不是很清楚,而且表達能力的比較分析工作才剛剛起步。
　　 隨著Web服務的發(fā)展,使用形式化方法研究Web服務已成為一個重要研究內(nèi)容。其中以π-演算為代表的移動進程演算,比較適合研究交互服務的行為,因此可以很自然地應用于Web服務的建模和開發(fā)之中。本文的工作主要圍繞Web服務事務及其補償處理的形式化研究而展開的。
　　 本文的主要研究內(nèi)容及成果如下:
　　 1.建立了一般動態(tài)的Web服務事務補償模型
　　

4、 通過{P；R}n、(n)、[P]及a(x)％[λX.Q].P對標準的π-演算進行擴展,定義Exπ演算作為Web服務事務的一般動態(tài)補償模型,同時給出了相應的操作語義。該模型的輸入動作可以激活補償更新,因此補償進程可以隨著事務的交互而動態(tài)安裝起來.為保證事務的唯一性,我們在該模型中增加了一個簡單類型系統(tǒng)。通過該補償演算對Web服務實例的形式化描述,充分展示了該模型的靈活性和表達能力。該模型獨立于具體的Web服務語言和方案,可以使我們更好

5、地理解和把握Web服務及其事務補償?shù)谋举|(zhì)特征。
　　 2.比較不同補償模型的表達能力
　　 用擴展的π-演算對靜態(tài)、并行動態(tài)和一般動態(tài)補償模型進行統(tǒng)一的形式化描述。簡化Exπ演算使得任意動作都可以激活補償更新,我們稱其為點Exπ′模型。遞增地定義了這三類補償模型的語法,同時給出了相應的操作語義。本文定義了演算的編碼條件,提出了弱互模擬關(guān)系和should測試等價概念。我們將并行動態(tài)編碼成靜態(tài)補償演算,證明了靜態(tài)和并行動態(tài)補