基于事務(wù)的服務(wù)選擇和恢復(fù).pdf

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

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

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

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