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

• 作者: 李师贤 梅晓勇 郑小林 黄昌勤
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 组合事务 失败恢复机制 执行语义分析 扩展Petri网
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1386-1396
• 分类号: TP302
• 字数: 9816字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2012.07.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅晓勇	中山大学信息科学与技术学院	8	24	3.0	4.0
3	李师贤	中山大学信息科学与技术学院	66	914	13.0	29.0
4	郑小林	浙江大学计算机科学与技术学院	31	301	11.0	16.0