|
|||||
|
|
| 一种支持组合事务的执行语义分析方法 | |
| 引用本文： | 梅晓勇,李师贤,黄昌勤,郑小林. 一种支持组合事务的执行语义分析方法[J]. 电子学报, 2012, 40(7): 1386-1396. DOI: 10.3969/j.issn.0372-2112.2012.07.017 |
| 作者姓名： | 梅晓勇 李师贤 黄昌勤 郑小林 |
| 作者单位： | 1. 中山大学信息科学与技术学院,广东广州5100062;湖南文理学院计算机学院,湖南常德415000 2. 中山大学信息科学与技术学院,广东广州,5100062 3. 加利福利亚州立大学欧文分校,Irvine 92697 4. 浙江大学计算机科学与技术学院,浙江杭州,310027 |
| 基金项目： | 国家科技攻关计划，国家自然科学基金，中国博士后科学基金，广东省自然科学基金，广东省科技计划基金 |
| 摘 要： | 为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的. |
| 关 键 词： | 组合事务 失败恢复机制 执行语义分析 扩展Petri网 |
| 收稿时间： | 2010-11-12 |
An Execution Semantic Analysis Method for Composition Transaction |
|
| MEI Xiao-yong , LI Shi-xian , HUANG Chang-qin , ZHENG Xiao-lin. 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 | |
| Authors: | MEI Xiao-yong LI Shi-xian HUANG Chang-qin ZHENG Xiao-lin |
| Affiliation: | 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) |
| 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: | composition transaction failure recovery mechanism execution semantic analysis extended Petri nets |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《电子学报》浏览原始摘要信息 | |
| 点击此处可从《电子学报》下载免费的PDF全文 | |