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

梅晓勇; 李师贤; 黄昌勤; 郑小林

doi:10.3969/j.issn.0372-2112.2012.07.017

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-08

- 一种支持组合事务的执行语义分析方法
- An Execution Semantic Analysis Method for Composition Transaction
- 电子学报 2012年40卷第7期页码：1386-1396
- 作者机构：
  
  1. 中山大学信息科学与技术学院,广东,广州,510006
  2. 湖南文理学院计算机学院,湖南,常德,415000
  3. 加利福利亚州立大学欧文分校, Irvine,92697
  4. 浙江大学计算机科学与技术学院,浙江,杭州,310027
  5. 中山大学信息科学与技术学院,广东,广州,510006
  6. 湖南文理学院计算机学院,湖南,常德,415000
  7. 加利福利亚州立大学欧文分校 Irvine,92697
  8. 浙江大学计算机科学与技术学院,浙江,杭州,310027
- 作者简介：
- 基金信息：
  
  国家科技攻关计划 (No.2008BAH24B03);国家自然科学基金 (No.60673122,No.60940033);中国博士后科学基金 (No.20080440121);广东省自然科学基金 (No.06017089,No.10JJ6100);广东省科技计划基金 (No.2010GK3020)
- DOI：10.3969/j.issn.0372-2112.2012.07.017
  中图分类号： TP302
- 纸质出版：2012
- 稿件说明：
移动端阅览
梅晓勇, 李师贤, 黄昌勤, 等. 一种支持组合事务的执行语义分析方法[J]. 电子学报, 2012,40(7):1386-1396.

An Execution Semantic Analysis Method for Composition Transaction[J]. Acta Electronica Sinica, 2012, 40(7): 1386-1396.
梅晓勇, 李师贤, 黄昌勤, 等. 一种支持组合事务的执行语义分析方法[J]. 电子学报, 2012,40(7):1386-1396. DOI： 10.3969/j.issn.0372-2112.2012.07.017.

An Execution Semantic Analysis Method for Composition Transaction[J]. Acta Electronica Sinica, 2012, 40(7): 1386-1396. DOI： 10.3969/j.issn.0372-2112.2012.07.017.

摘要

为了保证组合事务应用需求

不可避免引入失败恢复机制

以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术

借助Petri网的动态执行推演技术和数据流分析技术

讨论聚合模式执行语义

最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析

表明该语义分析方法是可行的.

Abstract

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.

关键词

Keywords

references

浏览量

1712

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据