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

摘要

为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助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 transaction 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 seamlessly 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.