面向Web服務(wù)異步化的事務(wù)機制研究.pdf

1、近年來，互聯(lián)網(wǎng)技術(shù)的蓬勃發(fā)展使得Web服務(wù)正逐步覆蓋到人們生活的方方面面。用戶在使用Web服務(wù)時，需要與服務(wù)進行交互以完成服務(wù)信息的傳遞，對Web服務(wù)組合來說，各個成員服務(wù)之間也需要進行交互以便協(xié)同完成整個業(yè)務(wù)流程。在實際應(yīng)用中，工業(yè)界多使用同步通信機制來處理用戶與服務(wù)以及成員服務(wù)之間的消息交互問題，然而由于同步通信存在等待阻塞等問題，服務(wù)的可靠性和效率得不到保障。異步Web服務(wù)在可靠性、執(zhí)行效率和靈活性上都要明顯優(yōu)于同步Web服務(wù)。與

2、此同時，隨著異步Web服務(wù)的普及，在長周期的業(yè)務(wù)流程中參與者的正確交互和一致性的運行結(jié)果就顯得至關(guān)重要。另一方面，學(xué)術(shù)界缺少對同步Web服務(wù)轉(zhuǎn)換為異步Web服務(wù)的研究。本文針對上述問題，給出了一種基于時間自動機的同步Web服務(wù)到異步Web服務(wù)的異步化算法，并對異步Web服務(wù)事務(wù)協(xié)調(diào)中的參與者和協(xié)調(diào)者進行了建模，給出了協(xié)調(diào)策略和故障處理方法。本文的主要研究內(nèi)容如下：
　　（1）分析了Web服務(wù)對異步的需求以及Web服務(wù)交互過程中可能

3、存在的時間約束，然后提出了基于時間自動機的Web服務(wù)模型，并在此基礎(chǔ)上給出了WS-BPEL到時間自動機的轉(zhuǎn)換規(guī)則，最后給出了可異步化的判定條件和異步化算法的設(shè)計。
　?。?）分析了異步Web服務(wù)對事務(wù)機制的需求，然后對異步Web服務(wù)事務(wù)協(xié)調(diào)過程中的參與者和協(xié)調(diào)者進行了建模，并給出了協(xié)調(diào)算法和協(xié)調(diào)策略，最后對面向約束的恢復(fù)策略進行了研究。
　?。?）利用本文提出的方法設(shè)計并實現(xiàn)了Web服務(wù)事務(wù)系統(tǒng)，該系統(tǒng)將分析服務(wù)提供方所提供