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

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

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

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