1、遷移工作流是將移動計算技術應用于工作流管理的一項新技術。工作流業(yè)務過程根據(jù)業(yè)務目標的復雜程度被映射為一個或多個遷移實例，每個遷移實例執(zhí)行一個目標相對獨立的子業(yè)務過程，遷移實例在工作位置的支持下通過遷移和協(xié)作實現(xiàn)總的業(yè)務目標。構(gòu)成遷移工作流管理系統(tǒng)的三要素是遷移工作流管理引擎、遷移實例和工作位置。工作流引擎完成工作流過程定義、遷移實例生成和多遷移實例協(xié)調(diào)等，工作位置指停靠站服務器及其相關聯(lián)的工作機網(wǎng)絡。其中，停靠站服務器是遷移實例的運行場

2、所，工作機為遷移實例提供各種工作流服務，是工作流服務的實際執(zhí)行場所。 由于作為遷移工作流管理系統(tǒng)的主體：遷移實例是一類在復雜網(wǎng)絡環(huán)境中遷移、異構(gòu)系統(tǒng)環(huán)境中執(zhí)行移動計算的程序，因此，它不可避免地會受到坯境中諸一多不可靠因素的影響，停靠站服務器主機節(jié)點崩潰會導致其上所有遷移實例的夭折，遷移實例運行時環(huán)境失效和本地工作流服務失效會導致業(yè)務流程阻塞等，可以說遷移工作流管理系統(tǒng)的容錯性能是目前其應用推廣的瓶頸。因此，容錯是遷移工作流管理系

3、統(tǒng)中的重要研究內(nèi)容之一。 基于對遷移實例活動過程和工作流管理特征的研究，?？空痉掌魅蒎e機制需要具備以下基本性質(zhì)：(1)完成性。即遷移實例在工作位置上的工作，不能因為?？空痉掌髦鳈C崩潰、遷移實例運行時環(huán)境失效或工作機網(wǎng)絡失效等因素而發(fā)生阻塞。(2)僅一次性。即任何修改工作流服務資源的業(yè)務過程，不能因為系統(tǒng)或遷移實例恢復而執(zhí)行多次。對于完成性，本文提出了基于軟件方式的全復制主一備服務器模式；對于僅一次性，本文提出在工作流流程定義

4、中將全局業(yè)務過程劃分為若干個目標相對獨立的業(yè)務斷點，以業(yè)務斷點作為遷移實例工作和恢復的原子事務。 本文主要討論了?？空痉掌髦鳈C容錯，遷移實例運行時環(huán)境容錯和工作流服務容錯三種情況，為這三種情況分別制定了失效檢測和恢復的相關策略。本文在系統(tǒng)已有的服務架構(gòu)上，按照提出的容錯模型，在?？空痉掌骱诵膶由蠈崿F(xiàn)了一個容錯組件，使其在具備較高的擴展性的同時還能有較好的性能保障。 分析容錯組件的實際運行結(jié)果，表明該原型正確、有效的實