支持组合事务的失败恢复验证  

Verification of failure recovery for composition transaction

作　　者：梅晓勇[1,2] 李师贤[1] 黄昌勤[3] 郑小林[4] 明仲[5] 

机构地区：[1]中山大学信息科学与技术学院,广东广州510006 [2]湖南文理学院计算机学院,湖南常德415000 [3]加利福利亚州立大学尔湾分校电子工程与计算机科学系,加利福利亚州尔湾92697 [4]浙江大学计算机科学与技术学院,浙江杭州310027 [5]深圳大学计算机与软件学院,广东深圳518060

出　　处：《系统工程与电子技术》2012年第1期191-198,共8页Systems Engineering and Electronics

基　　金：国家自然科学基金(61170077;60940033);国家科技攻关计划(2008BAH24B03);中国博士后科学基金(20080440121);广东省自然科学基金(06017089);湖南省自然科学基金(10JJ6100);湖南省科技计划基金(2010GK3020)资助课题

摘　　要：组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。Since tasks collaborate progresses in a point-to-point way instead of the central control in composition transaction,some tasks of the transaction flow may be committed and their successors unscheduled when a composition transaction system carsh occurs.In this situation,selecting an appropriate verification strategy for failure recovery is critical.Then a failure recovery verification strategy for forward recovery,backward recovery and alternative recovery is proposed.When failure occurs,according to the execution log and acceptable state set of composition transaction,the appropriate recovery stategy is selected,which verifies whether action sequences generated during execution of failure recovery with state space contains a set of good behaviors and whether consistency states after recovery can be checked by keeping track of the execution progress.Finally,the classical travel reservation process（TRP） is analyzed.The results show the feasibility of the proposed verification strategy.

关 键 词：组合事务 形式化验证与确认 失败恢复策略 流程验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]