基于事務(wù)的Web服務(wù)組合問題的研究與應(yīng)用.pdf

1、Web服務(wù)組合作為基于Internet的典型的服務(wù)組合形式，正在得到廣泛的關(guān)注。由于Web服務(wù)的松耦合特點(diǎn)，為保證多個(gè)服務(wù)交互獲得正確的執(zhí)行和一致性的結(jié)果，有必要為服務(wù)提供事務(wù)機(jī)制。目前，服務(wù)組合中的事務(wù)處理已成為一個(gè)研究熱點(diǎn)。
　　 本文針對(duì)組合服務(wù)事務(wù)的長(zhǎng)事務(wù)特點(diǎn)，提出了一個(gè)通用的支持事務(wù)機(jī)制的組合服務(wù)描述模型(UWSC-NTM)，該模型的特點(diǎn)之處在于支持動(dòng)態(tài)的基于事務(wù)的Web服務(wù)組合，并且具有豐富的執(zhí)行語義，可支持復(fù)雜的W

2、eb服務(wù)組合。本文采用形式化的方法對(duì)該模型的執(zhí)行語義進(jìn)行驗(yàn)證，并提出了模型的良構(gòu)性準(zhǔn)則。基于該模型，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)組合服務(wù)事務(wù)恢復(fù)算法。該算法引入了事務(wù)執(zhí)行器和事務(wù)協(xié)調(diào)器的概念，提出了基于候選服務(wù)隊(duì)列的前向恢復(fù)方法和基于歷史狀態(tài)軌跡的后向恢復(fù)方法，不同于傳統(tǒng)的集中式模型下的單協(xié)調(diào)器方式，采用分布式的事務(wù)協(xié)調(diào)方法，解決了單協(xié)調(diào)器的性能瓶頸問題和單點(diǎn)失效問題，改善了組合服務(wù)的成功率和平均響應(yīng)時(shí)間。本文又設(shè)計(jì)出一個(gè)基于資源劃分的組合服務(wù)事務(wù)

3、并發(fā)控制算法，該算法充分考慮了組合服務(wù)事務(wù)中的各種并發(fā)情況，引入資源單元、粗粒度劃分和細(xì)粒度劃分的概念來保證事務(wù)并發(fā)的高效性，通過測(cè)試驗(yàn)證了該算法對(duì)事務(wù)并發(fā)控制調(diào)度的語義可串行性。最后針對(duì)當(dāng)前CICS事務(wù)管理器缺乏對(duì)組合服務(wù)事務(wù)的有力支持，設(shè)計(jì)了一個(gè)支持組合服務(wù)事務(wù)的原型系統(tǒng)，包含了事務(wù)管理器、并發(fā)控制模塊、錯(cuò)誤恢復(fù)模塊。該系統(tǒng)在協(xié)調(diào)各成員服務(wù)的事務(wù)行為的同時(shí)，還提供了錯(cuò)誤恢復(fù)和并發(fā)控制的功能。
　　 本文主要在組合服務(wù)事務(wù)模型