遷移工作流中的過(guò)程完整性控制研究.pdf

1、遷移工作流技術(shù)是近年來(lái)工作流研究的新方向，因其采用移動(dòng)Agent技術(shù)實(shí)現(xiàn)，特別適合頻繁的網(wǎng)絡(luò)斷連，以及需要大量調(diào)用遠(yuǎn)程服務(wù)的分布式并發(fā)處理過(guò)程。遷移工作流包括工作流引擎、遷移實(shí)例和工作位置三要素，遷移實(shí)例是工作流的執(zhí)行主體，基于移動(dòng)Agent技術(shù)實(shí)現(xiàn)，它能攜帶代碼和狀態(tài)數(shù)據(jù)在不同的工作位置遷移利用本地服務(wù)調(diào)用完成業(yè)務(wù)流程；工作流引擎負(fù)責(zé)工作流定義、全局信息維護(hù)和創(chuàng)建派遣遷移實(shí)例等。 遷移工作流系統(tǒng)的基本事務(wù)屬性有：失敗原子性、工

2、作流獨(dú)立性和工作流數(shù)據(jù)一致性。遷移工作流過(guò)程完整性是指遷移工作流的所有任務(wù)滿足失敗原子性并最終按照工作流定義全部有序完成的性質(zhì)，既包括主流程和各級(jí)子流程完整執(zhí)行，也包括每個(gè)任務(wù)都要完整執(zhí)行。遷移工作流過(guò)程完整性控制從兩個(gè)層次出發(fā)，首先解決任務(wù)片的完整性控制，然后以此為基礎(chǔ)實(shí)現(xiàn)整個(gè)流程的完整性控制。過(guò)程完整性控制包含兩個(gè)涵義：一是提供容錯(cuò)恢復(fù)功能，保證單個(gè)任務(wù)都完整執(zhí)行；二是保證任務(wù)的依賴關(guān)系，保證流程按照工作流定義完整執(zhí)行。 對(duì)

3、任務(wù)片的完整性控制，首先從任務(wù)片的組成結(jié)構(gòu)入手，用任務(wù)片生成樹(shù)表示任務(wù)間的依賴關(guān)系，并在任務(wù)片執(zhí)行時(shí)在任務(wù)片樹(shù)中記錄每個(gè)任務(wù)的執(zhí)行狀態(tài)，然后對(duì)失敗任務(wù)按與—或邏輯反映出對(duì)任務(wù)片的影響，依此來(lái)指導(dǎo)遷移恢復(fù)。按照上述思想，文中提出了任務(wù)片完整性控制算法。 過(guò)程完整性控制以任務(wù)片的完整性控制為基礎(chǔ)，在遷移實(shí)例執(zhí)行過(guò)程中，遇到分叉結(jié)構(gòu)派生子遷移實(shí)例，在匯聚結(jié)構(gòu)合并子遷移實(shí)例，利用遞歸思想，直至最小層次的執(zhí)行過(guò)程成為若干串行的任務(wù)片。按照

4、上述思想，文中提出了過(guò)程完整性控制算法。 為驗(yàn)證過(guò)程完整性控制算法的有效性，本文在移動(dòng)計(jì)算實(shí)驗(yàn)室遷移工作流管理系統(tǒng)平臺(tái)上實(shí)現(xiàn)了該算法，并通過(guò)實(shí)驗(yàn)用例的執(zhí)行結(jié)果表明了算法的實(shí)用價(jià)值。通過(guò)加入過(guò)程完整性控制，遷移實(shí)例能夠在遇到執(zhí)行異常時(shí)保持業(yè)務(wù)流程的連續(xù)執(zhí)行并最終實(shí)現(xiàn)過(guò)程完整性，由此可以看出，過(guò)程完整性控制算法對(duì)于增強(qiáng)系統(tǒng)的可靠性具有重要作用。 本文算法以提供遷移恢復(fù)工作位置足夠多為假設(shè)，在實(shí)際應(yīng)用環(huán)境下這種相對(duì)簡(jiǎn)單的算法的