国家科技攻关计划(2008BAH24B03)
- 作品数：2 被引量：2H指数：1
- 相关作者：梅晓勇郑小林李师贤黄昌勤明仲更多>>
- 相关机构：湖南文理学院中山大学浙江大学更多>>
- 发文基金：中国博士后科学基金国家自然科学基金国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 支持组合事务的失败恢复验证
- 2012年
- 组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。
- 梅晓勇李师贤黄昌勤郑小林明仲
- 一种支持组合事务的执行语义分析方法被引量：2
- 2012年
- 为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.
- 梅晓勇李师贤黄昌勤郑小林
- 关键词：扩展PETRI网
