-
题名基于失败恢复策略的Web组合事务QoS估算
- 1
-
-
作者
梅晓勇
李师贤
黄昌勤
郑小林
-
机构
中山大学信息科学与技术学院
湖南文理学院计算机学院
加利福利亚州立大学尔湾分校
浙江大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第11期2464-2480,共17页
-
基金
国家科技支撑计划基金项目(2008BAH24B03)
国家自然科学基金项目(60673122
+5 种基金
60940033)
中国博士后科学基金项目(20080440121)
广东省自然科学基金项目(06017089)
湖南省自然科学基金项目(10JJ6100)
湖南省科技计划基金项目(2010GK3020)
湖南省教育厅优秀青年项目(12B092)
-
文摘
由于组合应用需求超越了传统事务,为了保证组合服务事务的性质,不可避免地需要合适的失败恢复机制,以提供持续的和可靠的执行语义.提出一种组合事务恢复模型,采用向前、向后和替代恢复的综合事务恢复策略实现失败恢复的动态编程,将失败恢复策略从业务流中分离出来建模.与高级事务聚合模式相对应,任务执行失败将影响组合事务流程的执行进展.然而,现有的QoS性能估算方法并没有考虑失败恢复产生的影响,因此,不能直接用于组合事务的QoS估算.根据事务正确和出错情形,提出了一个基于组合事务的QoS评价和估算模型.实验证明,该模型能有效地估算和分析组合事务性能,对于减少事务失败率和消除不利因素影响有较好的效果.
-
关键词
Web组合事务
失败恢复策略
松弛ACID
QoS性能估算
QoS估算算法
-
Keywords
Web composition transaction failure recovery strategy relaxed-ACID QoS performanceestimation QoS estimation algorithm
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持组合事务的失败恢复验证
- 2
-
-
作者
梅晓勇
李师贤
黄昌勤
郑小林
明仲
-
机构
中山大学信息科学与技术学院
湖南文理学院计算机学院
加利福利亚州立大学尔湾分校电子工程与计算机科学系
浙江大学计算机科学与技术学院
深圳大学计算机与软件学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第1期191-198,共8页
-
基金
国家自然科学基金(61170077
60940033)
+4 种基金
国家科技攻关计划(2008BAH24B03)
中国博士后科学基金(20080440121)
广东省自然科学基金(06017089)
湖南省自然科学基金(10JJ6100)
湖南省科技计划基金(2010GK3020)资助课题
-
文摘
组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。
-
关键词
组合事务
形式化验证与确认
失败恢复策略
流程验证
-
Keywords
composition transaction
formal verification and validation
failure recovery strategy
process verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-