摘要：为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.

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

单位：中山大学信息科学与技术学院; 广东广州510006; 湖南文理学院计算机学院; 湖南常德415000; 加利福利亚州立大学欧文分校; Irvine; 92697; 浙江大学计算机科学与技术学院; 浙江杭州310027