基于事務的服務選擇和恢復.pdf

1、Web服務作為一種新型的分布式計算模型，具有高度的互操作性、跨平臺和松耦合等優(yōu)點，得到了世界范圍內學術界和工業(yè)界的極大關注。但是單個Web服務通常功能有限，無法滿足復雜應用的需求，因此需要將現存的Web服務組合起來以形成增值的組合服務。一方面，隨著Web服務數量的迅速增加，功能相似但非功能屬性不同的服務越來越多，在滿足用戶指定的QoS約束下，如何從候選服務列表中選擇合適的Web服務，是極具挑戰(zhàn)性的熱點研究課題。另一方面，Web服務部署在

2、不可靠的網絡環(huán)境中，其執(zhí)行可能存在各種失敗風險；事務處理技術被用于解決組合服務因Web服務執(zhí)行失敗而導致的數據或邏輯不一致性等問題；由于單個Web服務的事務屬性各異，怎樣確保組合服務滿足原子一致性是另一極具挑戰(zhàn)性問題。另外，由于參與組合服務執(zhí)行的Web服務來自不同的服務提供者、不同的自治域，以及Internet的開放、多變特征，組合服務在實際執(zhí)行過程中會發(fā)生某些Web服務失效，導致它無法繼續(xù)執(zhí)行；因此組合服務迫切需要一種恢復機制來處理W

3、eb服務失效問題。針對以上問題，本文開展以下幾個方面的研究。
　　1)提出事務組合服務的構建與處理規(guī)則。本文在已有事務模型的基礎上，針對現有研究僅僅針對順序模式的研究現狀，提出了并行模式下的構建與處理規(guī)則；利用反證法和數學歸納法證明了它的正確性；其正確性包括可靠性和完整性?？煽啃灾甘聞战M合服務的構建與處理規(guī)則能夠保證組合服務的原子一致性；完整性，所有具有原子一致性的組合情況都可以由構建與處理規(guī)則構造出來。
　　2)提出基于蟻

4、群系統(tǒng)的事務服務選擇算法。首先將服務選擇問題建模為多約束多目標優(yōu)化問題；然后改進傳統(tǒng)的單目標優(yōu)化蟻群算法，使之滿足多維QoS優(yōu)化的要求；最后將構建與處理規(guī)則用于算法中候選服務的查找，不僅保證了組合服務的原子一致性，而且縮小了搜索空間，大大提高了算法的效率。
　　3)提出基于替換的服務恢復算法。本文主要從服務替換的角度考慮服務恢復，同時結合構建與處理規(guī)則確保組合服務滿足原子一致性。首先提出服務執(zhí)行路徑選擇算法，該算法從服務選擇算法求