期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于失败恢复策略的Web组合事务QoS估算
1
作者 梅晓勇 李师贤 +1 位作者 黄昌勤 郑小林 《计算机研究与发展》 EI CSCD 北大核心 2012年第11期2464-2480,共17页
由于组合应用需求超越了传统事务,为了保证组合服务事务的性质,不可避免地需要合适的失败恢复机制,以提供持续的和可靠的执行语义.提出一种组合事务恢复模型,采用向前、向后和替代恢复的综合事务恢复策略实现失败恢复的动态编程,将失败... 由于组合应用需求超越了传统事务,为了保证组合服务事务的性质,不可避免地需要合适的失败恢复机制,以提供持续的和可靠的执行语义.提出一种组合事务恢复模型,采用向前、向后和替代恢复的综合事务恢复策略实现失败恢复的动态编程,将失败恢复策略从业务流中分离出来建模.与高级事务聚合模式相对应,任务执行失败将影响组合事务流程的执行进展.然而,现有的QoS性能估算方法并没有考虑失败恢复产生的影响,因此,不能直接用于组合事务的QoS估算.根据事务正确和出错情形,提出了一个基于组合事务的QoS评价和估算模型.实验证明,该模型能有效地估算和分析组合事务性能,对于减少事务失败率和消除不利因素影响有较好的效果. 展开更多
关键词 Web组合事务 失败恢复策略 松弛ACID QoS性能估算 QoS估算算法
下载PDF
支持组合事务的失败恢复验证
2
作者 梅晓勇 李师贤 +2 位作者 黄昌勤 郑小林 明仲 《系统工程与电子技术》 EI CSCD 北大核心 2012年第1期191-198,共8页
组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢... 组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。 展开更多
关键词 组合事务 形式化验证与确认 失败恢复策略 流程验证
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部