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

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

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

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