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

被引：3

作者：

梅晓勇 ^{[1
,2
]}

李师贤 ^{[1
]}

黄昌勤 ^{[3
]}

郑小林 ^{[4
]}

机构：

[1] 中山大学信息科学与技术学院

[2] 湖南文理学院计算机学院

[3] 加利福利亚州立大学欧文分校

[4] 浙江大学计算机科学与技术学院

来源：

电子学报 | 2012年 / 40卷 / 07期

基金：

广东省自然科学基金; 广东省科技计划; 中国博士后科学基金; 国家科技攻关计划;

关键词：

组合事务; 失败恢复机制; 执行语义分析; 扩展Petri网;

D O I：

暂无

中图分类号：

TP391.1 [文字信息处理];

学科分类号：

120506 [数字人文];

摘要：

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

引用

页码：1386 / 1396

页数：11

共 5 条

[1]

基于并发事务逻辑的Web服务编制验证 [J].

王勇 ;

代桂平 ;

侯亚荣 ;

方娟 ;

任兴田 .

电子学报, 2009, 37 (10) :2228-2233

[2]

Web服务行为一致性与相容性判定 [J].

殷昱煜 ;

李莹 ;

邓水光 ;

尹建伟 .

电子学报, 2009, 37 (03) :433-438

[3]

An Environment for Flexible Advanced Compensations of Web Service Transactions [J].

Schaefer, Michael ;

Dolog, Peter ;

Nejdl, Wolfgang .

ACM TRANSACTIONS ON THE WEB, 2008, 2 (02)

[4]

A model for BPEL-like languages [J].

He J. ;

Zhu H. ;

Pu G. .

Frontiers of Computer Science in China, 2007, 1 (01) :9-19

[5]

FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.[J].Neila Ben Lakhal;Takashi Kobayashi;Haruo Yokota.The VLDB Journal.2009, 1

← 1 →