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

• 作者: 明仲 李师贤 梅晓勇 郑小林 黄昌勤
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 组合事务 形式化验证与确认 失败恢复策略 流程验证
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 软件、算法与仿真
• 页码范围: 191-198
• 分类号: TP311
• 字数: 9313字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2012.01.35

摘要

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行.在这种情况下,选择合适的失败恢复验证策略是必要的.提出一种支持向前、向后和替代恢复策略的失败恢复验证方法.当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为.追踪执行进展,检测恢复后组合事务是否存在不一致状态.通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅晓勇	中山大学信息科学与技术学院	8	24	3.0	4.0
3	李师贤	中山大学信息科学与技术学院	66	914	13.0	29.0
4	郑小林	浙江大学计算机科学与技术学院	31	301	11.0	16.0
5	明仲	深圳大学计算机与软件学院	64	560	14.0	20.0