导读:本文包含了事务演算论文开题报告文献综述及选题提纲参考文献，主要关键词:分布式事务,DPi演算,节点故障,链路故障
事务演算论文文献综述
赖少光[1]（2014）在《基于扩展π演算的分布式事务故障检测模型》一文中研究指出随着大数据和网络技术的发展，分布式事务逐渐成为当前数据处理的主流模式。在分布式事务的研究中，如何避免由于网络延迟和站点故障引起的事务阻塞，并且有效区分这两种故障成为人们研究的热点问题。在分布式事务故障检测与区分问题上，本文提出一种层次化检测模型，它具有贴近实际网络拓扑结构、探测路径清晰和探测报文数量较少等优点。该模型在原有模型的基础之上增加了辅助协调者的概念，一方面可以有效解决协调者通信负载过大的问题，缩短各个子事务并行处理的时间；另一方面通过对故障的探测和区分，可以减少因失效造成的无谓的事务提交，增强了协议的可靠性和可用性。针对分布式事务的特点，本文选用DπF演算作为建模语言，并对DπF进行扩展，加入了表示时钟的算子。扩展后的DπF演算可以直观地描述分布式事务故障中节点失效、链路失效和进程迁移的情形，最后通过互模拟理论对这两类故障进行区分验证。从形式化的角度来分析分布式事务故障的各种表现和特性，可以帮助设计者完善和优化系统，开发分布式故障检测器，同时对研究容错恢复技术构建可靠的分布式数据库具有重要的意义。(本文来源于《吉林大学》期刊2014-05-01）
吴佳杰[2]（2010）在《基于π-演算的Web服务事务补偿模型的研究》一文中研究指出随着网络的普及和Web技术的迅速发展,人们迫切需要在Internet上实现跨平台、语言独立、松散耦合的异构应用的集成和交互,这对传统的分布式计算技术提出了新的要求。Web服务作为一种新型的分布式计算模型应运而生,成为网络上数据和信息集成的有效机制。服务组合是将现有的可用Web服务组合起来、协同执行,形成功能更强大的增值服务。为了满足不同Web服务之间运行结果的一致性和可靠性要求,我们需要在Web服务组合中提供事务处理的支持。Web服务事务不同于传统的ACID事务,不能通过简单回滚来恢复已完成的动作,因此,需要采用补偿机制来保证数据的一致性。按照不同的补偿安装方式,可将补偿模型分为静态和动态补偿模型。静态补偿模型的补偿不是随着事务的执行而动态安装的,因此这种方法缺乏灵活性,容易在复杂的网络环境中发生错误。而很多动态补偿模型是基于流的,即采用集中式的协调机制,缺乏移动性,不能有效地模拟结构不断变化的Web服务系统。尽管目前存在着多种补偿模型,但他们之间的关系并不是很清楚,而且表达能力的比较分析工作才刚刚起步。随着Web服务的发展,使用形式化方法研究Web服务已成为一个重要研究内容。其中以π-演算为代表的移动进程演算,比较适合研究交互服务的行为,因此可以很自然地应用于Web服务的建模和开发之中。本文的工作主要围绕Web服务事务及其补偿处理的形式化研究而展开的。本文的主要研究内容及成果如下：1.建立了一般动态的Web服务事务补偿模型通过{P；R}n、n、[P]及a(x)%[λX.Q].P对标准的π-演算进行扩展,定义Exπ演算作为Web服务事务的一般动态补偿模型,同时给出了相应的操作语义。该模型的输入动作可以激活补偿更新,因此补偿进程可以随着事务的交互而动态安装起来。为保证事务的唯一性,我们在该模型中增加了一个简单类型系统。通过该补偿演算对Web服务实例的形式化描述,充分展示了该模型的灵活性和表达能力。该模型独立于具体的Web服务语言和方案,可以使我们更好地理解和把握Web服务及其事务补偿的本质特征。2.比较不同补偿模型的表达能力用扩展的π-演算对静态、并行动态和一般动态补偿模型进行统一的形式化描述。简化Exπ演算使得任意动作都可以激活补偿更新,我们称其为Exπ′模型。递增地定义了这三类补偿模型的语法,同时给出了相应的操作语义。本文定义了演算的编码条件,提出了弱互模拟关系和should测试等价概念。我们将并行动态编码成静态补偿演算,证明了静态和并行动态补偿演算具有相同的表达能力。最后,本文证明了不能把一般动态编码成静态补偿演算,从而论证了Exπ′模型具有较强的表达能力。(本文来源于《浙江师范大学》期刊2010-05-01）
陈明,袁勇福[3]（2009）在《基于多元π演算的Web服务原子事务协议研究》一文中研究指出Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化。采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质。最后,采用MWB工具证明了它的正确性。(本文来源于《计算机应用与软件》期刊2009年01期）
李淑芝,吴问春,王继升[4]（2008）在《基于扩展π演算的长事务处理形式化描述》一文中研究指出为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.(本文来源于《江西理工大学学报》期刊2008年04期）
谭煌,高春鸣,袁勇福[5]（2008）在《基于异步PI演算的Web服务长事务协议性质分析》一文中研究指出根据WS-Business Activity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。(本文来源于《计算机工程与应用》期刊2008年11期）
姚绍文,唐明靖,危兵[6]（2008）在《Web服务组合事务处理及基于细胞膜演算的正确性分析》一文中研究指出事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型WS-CTM,并基于细胞膜演算对模型的正确性进行了验证。(本文来源于《计算机科学》期刊2008年03期）
吴怀广[7]（2006）在《基于扩展π演算的Web服务事务研究》一文中研究指出随着电子商务的迅速崛起和Web应用的迅速发展，Web服务—一个被广泛接受的面向服务计算的范例，已经成为电子商务的一种有效的解决方案。Web服务被业界称为继PC和Internet之后的计算机IT技术的第叁次革命。从电子商务的应用角度看，Web服务具有广阔的发展前景及空间。但是从Web服务自身的支撑技术来看，诸如Web服务组合、Web服务事务处理等很多关键的问题有待解决．因此，Web服务一直是业界研究的热点。 在Web服务组合中，不同成员的Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对事务处理的支持。在本文中，我们主要围绕Web服务组合及Web服务事务处理的形式化描述而展开。 首先，我们对Web服务的概念、体系结构及其特征做了简单描述。列举了Web服务的基本技术：数据交换标准(XML)，简单对象访问协议(SOAP)，Web服务描述语言(WSDL)，统一描述、发现与集成协议(UDDI)。比较了编排(Choreography)与编制(Orchestration)之间的差异，并且也指出它们之间应该是一种协作的关系。分析了Web服务事务诸如长运行时间、自治性、松耦合、异构性等特点，介绍了现有方案BTP、WS-C／T、WS-TXM的事务处理机制。我们还对所要用到的形式化工具-π演算进行了基本语法、操作语义的介绍。 在此基础上，我们用扩展的π演算建立独立于具体编排(Choreography)、编制(Orchestration)语言方案的形式化模型，以用来刻画Web服务事务的处理机制。在不考虑时间因素的前提下，用抽象事务等结构对标准的π演算进行扩展，并用来描述Web服务的组合机制。随后，用扩展的实时(real-time)π演算来刻画Web服务事务的时间特性，重点讨论了Web服务事务的强时间互模拟关系、弱时间互模拟关系及基于时间粒的互模拟关系。 因此，本文的研究成果主要包括以下两个方面： ● 通过事件进程[P，Q]_t、Web事务结构(?)[P，Q]_t；R(?)_x及消息进程signal(t)对标准的π演算进行扩展，定义其结构同余关系及操作语义。给出了它的辖域律、事务律、浮动律。通过该模型对Web服务组合实例的形式化的描述，充分体现了其灵活性及表达能力。 ● 对实时π演算进行了事务描述等扩展。为了刻画动作的执行时间，给出了动作执行时间算子t(α)的定义。针对实时系统持久性的性质，提出了事务阀值Thre(d)的概念。从延时和非延时(动作)两个方面，阐述了该模型的操作语义。进而，论(本文来源于《浙江师范大学》期刊2006-12-01）
戚正伟,尤晋元[8]（2006）在《基于细胞膜演算的Web服务事务处理形式化描述与验证》一文中研究指出采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态．模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性．进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因．(本文来源于《计算机学报》期刊2006年07期）
事务演算论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着网络的普及和Web技术的迅速发展,人们迫切需要在Internet上实现跨平台、语言独立、松散耦合的异构应用的集成和交互,这对传统的分布式计算技术提出了新的要求。Web服务作为一种新型的分布式计算模型应运而生,成为网络上数据和信息集成的有效机制。服务组合是将现有的可用Web服务组合起来、协同执行,形成功能更强大的增值服务。为了满足不同Web服务之间运行结果的一致性和可靠性要求,我们需要在Web服务组合中提供事务处理的支持。Web服务事务不同于传统的ACID事务,不能通过简单回滚来恢复已完成的动作,因此,需要采用补偿机制来保证数据的一致性。按照不同的补偿安装方式,可将补偿模型分为静态和动态补偿模型。静态补偿模型的补偿不是随着事务的执行而动态安装的,因此这种方法缺乏灵活性,容易在复杂的网络环境中发生错误。而很多动态补偿模型是基于流的,即采用集中式的协调机制,缺乏移动性,不能有效地模拟结构不断变化的Web服务系统。尽管目前存在着多种补偿模型,但他们之间的关系并不是很清楚,而且表达能力的比较分析工作才刚刚起步。随着Web服务的发展,使用形式化方法研究Web服务已成为一个重要研究内容。其中以π-演算为代表的移动进程演算,比较适合研究交互服务的行为,因此可以很自然地应用于Web服务的建模和开发之中。本文的工作主要围绕Web服务事务及其补偿处理的形式化研究而展开的。本文的主要研究内容及成果如下：1.建立了一般动态的Web服务事务补偿模型通过{P；R}n、n、[P]及a(x)%[λX.Q].P对标准的π-演算进行扩展,定义Exπ演算作为Web服务事务的一般动态补偿模型,同时给出了相应的操作语义。该模型的输入动作可以激活补偿更新,因此补偿进程可以随着事务的交互而动态安装起来。为保证事务的唯一性,我们在该模型中增加了一个简单类型系统。通过该补偿演算对Web服务实例的形式化描述,充分展示了该模型的灵活性和表达能力。该模型独立于具体的Web服务语言和方案,可以使我们更好地理解和把握Web服务及其事务补偿的本质特征。2.比较不同补偿模型的表达能力用扩展的π-演算对静态、并行动态和一般动态补偿模型进行统一的形式化描述。简化Exπ演算使得任意动作都可以激活补偿更新,我们称其为Exπ′模型。递增地定义了这三类补偿模型的语法,同时给出了相应的操作语义。本文定义了演算的编码条件,提出了弱互模拟关系和should测试等价概念。我们将并行动态编码成静态补偿演算,证明了静态和并行动态补偿演算具有相同的表达能力。最后,本文证明了不能把一般动态编码成静态补偿演算,从而论证了Exπ′模型具有较强的表达能力。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
事务演算论文参考文献
[1].赖少光.基于扩展π演算的分布式事务故障检测模型[D].吉林大学.2014
[2].吴佳杰.基于π-演算的Web服务事务补偿模型的研究[D].浙江师范大学.2010
[3].陈明,袁勇福.基于多元π演算的Web服务原子事务协议研究[J].计算机应用与软件.2009
[4].李淑芝,吴问春,王继升.基于扩展π演算的长事务处理形式化描述[J].江西理工大学学报.2008
[5].谭煌,高春鸣,袁勇福.基于异步PI演算的Web服务长事务协议性质分析[J].计算机工程与应用.2008
[6].姚绍文,唐明靖,危兵.Web服务组合事务处理及基于细胞膜演算的正确性分析[J].计算机科学.2008
[7].吴怀广.基于扩展π演算的Web服务事务研究[D].浙江师范大学.2006
[8].戚正伟,尤晋元.基于细胞膜演算的Web服务事务处理形式化描述与验证[J].计算机学报.2006