分布式虛擬化環(huán)境的動態(tài)性與異構(gòu)性,隨時會導致運行在其上的服務(wù)組合中出現(xiàn)失效等情況,從而導致整個業(yè)務(wù)流程中斷,極大影響整個系統(tǒng)的可信性.作為應(yīng)對服務(wù)失效最常用的方法,現(xiàn)有的服務(wù)替換方法由于缺少事務(wù)支持,會導致替換后的服務(wù)組合的一致性與正確性缺乏保障.對此,以服務(wù)組合事務(wù)級屬性為核心,提出一種基于事務(wù)補償?shù)姆植际教摂M化環(huán)境下服務(wù)替換方法.首先,提出了一個支持事務(wù)級屬性的層次化服務(wù)組合模型,然后根據(jù)服務(wù)間數(shù)據(jù)依賴關(guān)系來識別服務(wù)事務(wù)粒度,最后基于事務(wù)粒度識別與服務(wù)補償機制,提出了一種服務(wù)組合失效處理方法,促使服務(wù)組合的可信性增強演化.實驗結(jié)果證明,該方法保證了替換過程中服務(wù)組合的事務(wù)原子性和數(shù)據(jù)一致性,具有良好的擴展性.

【文章頁數(shù)】：14 頁

【部分圖文】：

圖３“商務(wù)旅行”服務(wù)組合ＥＨ＿ＣＰＮ模型Ｆｉｇ．３ＴｈｅＥＨ＿ＣＰＮｍｏｄｅｌｏｆｂｕｓｉｎｅｓｓｔｒａｖｅｌｓｅｒｖｉｃｅｃｏｍｐｏｓｉｔｉｏｎ

ｕｃｔｕｒｅ圖２服務(wù)組合控制結(jié)構(gòu)為使服務(wù)變遷在沒有數(shù)據(jù)依賴時推動組合流程繼續(xù)執(zhí)行，在ＥＨ＿ＣＰＮ模型中引入控制托肯，只有當變遷獲得控制托肯才能被觸發(fā)．控制托肯可以單獨的在網(wǎng)內(nèi)流動，也可以和數(shù)據(jù)托肯混合流動，所構(gòu)成的控制流不影響模型數(shù)據(jù)流的分析．對于需要根據(jù)服務(wù)組件的特定狀態(tài)來決定....

圖２服務(wù)組合控制結(jié)構(gòu)Ｆｉｇ．２Ｓｅｒｖｉｃｅｃｏｍｐｏｓｉｔｉｏｎｃｏｎｔｒｏｌｓｔｒｕｃｔｕｒｅ

型和數(shù)量是否符合要求，ＩＣ：Ｉ０→ｅｘｐｒ，且滿足Ｔｙｐｅ（ＩＣ（Ｉ０））＝Ｂｏｏｌ．４）Ｉ０是初始狀態(tài)．服務(wù)組合由一系列的服務(wù)或服務(wù)組合通過組合控制結(jié)構(gòu)組合而成，通過分析其間邏輯關(guān)系，可以將這些控制結(jié)構(gòu)分為５類［６］，分別是Ｓｅｑｕｅｎｃｅ，Ａｎｄ－Ｊｏｉｎ，Ｏｒ－Ｊｏｉｎ，Ａ....

圖４Ａｎｄ－Ｊｏｉｎ和Ａｎｄ－Ｓｐｌｉｔ時的補償Ｆｉｇ．４ＴｈｅｃｏｍｐｅｎｓａｔｉｏｎｏｆＡｎｄ－ＪｏｉｎａｎｄＡｎｄ－Ｓｐｌｉｔ

服務(wù)組合中的控制結(jié)構(gòu)復雜多樣，因此需要根據(jù)服務(wù)組合過程模型的控制結(jié)構(gòu)和數(shù)據(jù)依賴關(guān)系的不同來分別處理．首先定義補償關(guān)系：定義９．補償關(guān)系．如果服務(wù)變遷ＳＴ２發(fā)生服務(wù)替換后需要對變遷ＳＴ１進行補償來維護服務(wù)組合的一致性，則稱服務(wù)變遷ＳＴ１和ＳＴ２之間存在間接依賴關(guān)系，記作Ｃｏｍｐ（Ｓ....

圖５事務(wù)恢復的個數(shù)Ｆｉｇ．５Ｎｕｍｂｅｒｏｆｔｒａｎｓａｃｔｉｏｎｒｅｃｏｖｅｒｙ

Ｆｉｇ．５Ｎｕｍｂｅｒｏｆｔｒａｎｓａｃｔｉｏｎｒｅｃｏｖｅｒｙ圖５事務(wù)恢復的個數(shù)恢復的成功率．通過實驗結(jié)果可以看出，在故障率較低的條件下，服務(wù)組合中的事務(wù)能夠通過重啟成功執(zhí)行或者補償來恢復到初始狀態(tài)，呈現(xiàn)出較好的事務(wù)恢復成功率；當故障率增高時，事務(wù)恢復的成功率有所下降，但均能維....

本文編號：3988427