一种支持组合事务的执行语义分析方法
作者：黄昌勤；郑小林；李师贤；梅晓勇
作者单位：加利福利亚州立大学欧文分校,Irvine 92697;浙江大学计算机科学与技术学院,浙江杭州310027;中山大学信息科学与技术学院,广东广州5100062;中山大学信息科学与技术学院,广东广州5100062;湖南文理学院计算机学院,湖南常德415000
加工时间：2014-06-15
信息来源：《电子学报》
关键词：组合事务；失败恢复机制；执行语义分析；扩展Petri网
摘 要：为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.
027-87841330