电子学报

• 学术论文 • 上一篇    下一篇

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

梅晓勇1,2, 李师贤1, 黄昌勤3, 郑小林4   

  1. 1. 中山大学信息科学与技术学院, 广东广州 510006;
    2. 湖南文理学院计算机学院, 湖南常德 415000;
    3. 加利福利亚州立大学欧文分校, Irvine 92697;
    4. 浙江大学计算机科学与技术学院, 浙江杭州 310027
  • 收稿日期:2010-11-12 修回日期:2012-02-16 出版日期:2012-07-25 发布日期:2012-07-25
  • 作者简介:梅晓勇 男.1974年3月生,湖南常德人.博士,副教授,中国计算机学会Petri网专委会会员,1997年在湖南师范大学获工学学士、2005年和2011年先后在中山大学获工学硕士和博士学位.现为国家Linux培训与推广中心Huas分中心主任.研究兴趣包括面向服务计算、Petri网技术和可信计算等. E-mail:cdmxy@126.com 李师贤 男.1944年6月生,江西于都人,教授,博士生导师.93年确定为享受国务院政府特殊津贴专家,历任中山大学计算机科学系主任、信息科学与技术学院院长等职.主要从事软件工程和形式语义学的研究工作. 黄昌勤 男,1972年2月生,湖南桃源人,博士,教授,博士生导师,IEEE会员.1999年和2005年分别在华东师范大学和浙江大学获工学硕士和博士学位.主要从事信息技术、服务计算和移动计算等方面的研究工作. 郑小林 男.1977年8月生,浙江江山人,博士,副教授,现为浙江大学软件学院电子商务系执行系主任,IEEE会员.主要从事电子商务、服务计算、移动计算等方面的研究工作.
  • 基金资助:

    国家科技攻关计划(No.2008BAH24B03);国家自然科学基金(No.60673122,No.60940033);中国博士后科学基金(No.20080440121);广东省自然科学基金(No.06017089,No.10JJ6100);广东省科技计划基金(No.2010GK3020)

An Execution Semantic Analysis Method for Composition Transaction

MEI Xiao-yong1,2, LI Shi-xian1, HUANG Chang-qin3, ZHENG Xiao-lin4   

  1. 1. School of Information Science and Technology, Sun Yat-sen University, Guangzhou, Guangdong 510275, China;
    2. School of Computer Science and Technology, Hunan University of Arts and Science, Changde, Hunan 415000, China;
    3. Department of Electrical Engineering and Computer Science, University of California, Irvine, CA, 92697, USA;
    4. College of Computer Science and Technology, Zhejiang University, Hangzhou, Zhejiang 310027, China
  • Received:2010-11-12 Revised:2012-02-16 Online:2012-07-25 Published:2012-07-25

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

关键词: 组合事务, 失败恢复机制, 执行语义分析, 扩展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.

Key words: composition transaction, failure recovery mechanism, execution semantic analysis, extended Petri nets

中图分类号: