【摘 要】
：
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动
【机 构】
：
中山大学信息科学与技术学院,湖南文理学院计算机学院,加利福利亚州立大学欧文分校,浙江大学计算机科学与技术学院
【基金项目】
：
国家科技攻关计划(No.2008BAH24B03);国家自然科学基金(No.60673122,No.60940033);中国博士后科学基金(No.20080440121);广东省自然科学基金(No.06017089,No.10JJ6100);广东省科技计划基金(No.2010GK3020)
论文部分内容阅读
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.
其他文献
<正>一产业链的定义与内涵随着社会分工的细化,没有任何一种产品或服务是由一家企业完全提供。产业链就是指厂商内部与厂商之间为生产最终交易产品或服务而经历的价值增值的
吉林省四平市是国家商品粮基地,位于世界三大黑土区之一东北黑土带腹地,由于过度垦殖,黑土地质量呈现退化的现象。"十三五"期间四平市各级政府高度重视黑土地保护工作,采取了
人类社会已经进入知识经济和信息化时代。今天,当我们重又理解“知识就是力量”这一至理名言时,一定会想到一些更深刻的东西。笔者试就“知识就是力量”理解其哲学内涵,并就
基于对智力资本作用机制的回顾与梳理,文章回答了智力资本如何作用于组织绩效。指出智力资本对组织绩效的作用效应主要有直接效应、间接效应和调节效应三种,在此基础上,揭示
使用交流接触器控制三相异步电动机的正、反转运行,电路的结构简单,成本较低,在一般工业控制中仍然广泛采用。控制电路的安装和调试是电工技术人员必备的技术,也是电工人员应
严歌苓的小说总是透露出一种为"弱者"立传的决心,其作品以"弱者"个体或群体生命体验对宏大历史画面进行补足、以走进"弱者"内心的方式走进历史和审视复杂人性的创作特色,表现
文化的产生与人的生活息息相关,文化是人的产物。不同民族所处的文化环境使得各民族产生了符合自身文化特色的不同于他民族的舞蹈形态,独特的民族民间舞蹈又反作用于日常生活
专项资金是政府履行公共管理和公共服务的物质保障,针对当今对专项资金使用过程中存在的挤占挪用及盲目浪费的问题,充分发挥审计监督的作用,实施效益审计,按照一定的适用原则
本文作者提出语言测试的评价标准应由思想性、可靠性、有效性、公平性、规范性、实用性和后效性等七个一级指标所构成。作者在文中进一步讨论了各个一级指标的概念与分类,并
文章以2000-2012年安徽省16个地级市的面板数据为基础,通过构建实证计量模型,研究了不同金融发展评价指标对安徽省人口城镇化与土地城镇化发展协调度的作用,结果发现:较高的