發(fā)布時(shí)間：2024-06-03 19:58

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

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

【部分圖文】：

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

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

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

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

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

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

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

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

本文編號(hào)：3988427