一种支持组合事务的执行语义分析方法  

An Execution Semantic Analysis Method for Composition Transaction

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

机构地区：[1]中山大学信息科学与技术学院,广东广州510006 [2]湖南文理学院计算机学院,湖南常德415000 [3]加利福利亚州立大学欧文分校,irvine92697 [4]浙江大学计算机科学与技术学院,浙江杭州310027

出　　处：《电子学报》2012年第7期1386-1396,共11页Acta Electronica Sinica

基　　金：国家科技攻关计划(No.2008BAH24B03);国家自然科学基金(No.60673122;No.60940033);中国博士后科学基金(No.20080440121);广东省自然科学基金(No.06017089;No.10JJ6100);广东省科技计划基金(No.2010GK3020)

摘　　要：为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.To assure application requirements of composition transaction,it is inevitable fact for appropriate failure recovery mechanisms that can provide reliable execution semantics. An execution semantic analysis method based on comprehensive transac- tion recovery mechanism including forward recovery, backward recovery and alternative recovery is proposed, by means of dynamic execution reasoning and data flow analysis of extended Petri nets, which constructs searnlessly Add/Remove recovery behavior for composition transaction. Finally, an application case with recovery capacity is implemented and shows the proposed semantic analysis method is feasible.

关 键 词：组合事务 失败恢复机制 执行语义分析 扩展PETRI网 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]