导读:本文包含了并发事务论文开题报告文献综述及选题提纲参考文献，主要关键词:语义Web服务,服务组合,并发事务逻辑,霍恩子句
并发事务论文文献综述
王雪松,钱俊彦,赵岭忠,高荣亮[1]（2012）在《基于并发事务逻辑的语义Web服务组合》一文中研究指出并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。(本文来源于《计算机科学》期刊2012年10期）
王勇,代桂平,侯亚荣,方娟,任兴田[2]（2009）在《基于并发事务逻辑的Web服务编制验证》一文中研究指出服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.(本文来源于《电子学报》期刊2009年10期）
王勇,姜正涛,侯亚荣,方娟,毛国君[3]（2009）在《Web服务编排的并发事务逻辑模型》一文中研究指出为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.(本文来源于《北京工业大学学报》期刊2009年08期）
罗拥军[4]（2008）在《GIS中的并发事务分析》一文中研究指出研究GIS系统中长事务间的各种可能出现的冲突是十分必要的,这样才有可能提出切实可行的并发控制策略。研究表明,GIS中长事务之间的冲突主要有:更新冲突、同一冲突和关系冲突等。基于对各种冲突的分析结果,提出了一种以改进的版本管理机制为核心空间数据多策略长事务并发控制模型。(本文来源于《广西轻工业》期刊2008年06期）
张国军,谭支鹏[5]（2007）在《网格数据库并发事务串行化研究》一文中研究指出网格数据库就是使传统数据库能够充分利用网格平台的这种优势,实现传统数据库的存储、管理、处理、分析等能力的共享和协同。本文给出了网格数据库事务模型,以及对并发事务串行化进行研究。(本文来源于《福建电脑》期刊2007年12期）
王元珍,龚卫华[6]（2005）在《MDBS中一种改进的并发事务调度算法》一文中研究指出MDBS中并发事务的调度策略必须满足可串行化准则,论文主要分析以事务提交图为中心的调度算法TM2,虽然保证了全局事务提交顺序的可串行化,但在提交时才进行冲突检测方式存在缺点,提出改进后的事务调度算法TM3不仅保证了全局事务的可串行化和防止了全局死锁的发生,还提高了全局事务执行的并发度。最后通过实验在数据库加速引擎中进行模拟,对比了两种调度算法的性能。(本文来源于《计算机工程与应用》期刊2005年31期）
段玉春,孙玉强[7]（2004）在《数据库管理系统中并发事务的控制方法》一文中研究指出提出了数据库管理系统在数据库并行运行的事务时,能够正确运行且获得正确结果需要注意的几个问题,并给出了解决方法.(本文来源于《信阳师范学院学报(自然科学版)》期刊2004年03期）
罗雪梅,王薇,韩耀军[8]（2004）在《并发事务无死锁的可串行化调度的形式化方法》一文中研究指出并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。(本文来源于《计算机工程与应用》期刊2004年10期）
陈洪,金云程[9]（1997）在《关系数据库中并发事务的优化方法》一文中研究指出本文分析了关系数据库并发事务的调度原理，在此基础上提出了优化并发事务的几种方法；实践表明，综合运用这些方法能够取得明显的效果。(本文来源于《计算机工程与应用》期刊1997年09期）
洪晓光,王新军,董继润[10]（1997）在《并行数据库中并发事务循环等待的一种解决方法》一文中研究指出在并行数据库环境中，事务并发的处理有其自己的特点，文中重点讨论了在并发事务的并行处理时因循环等待引起的死锁问题，并给出了一种有效的解决方法。(本文来源于《计算机工程》期刊1997年03期）
并发事务论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
并发事务论文参考文献
[1].王雪松,钱俊彦,赵岭忠,高荣亮.基于并发事务逻辑的语义Web服务组合[J].计算机科学.2012
[2].王勇,代桂平,侯亚荣,方娟,任兴田.基于并发事务逻辑的Web服务编制验证[J].电子学报.2009
[3].王勇,姜正涛,侯亚荣,方娟,毛国君.Web服务编排的并发事务逻辑模型[J].北京工业大学学报.2009
[4].罗拥军.GIS中的并发事务分析[J].广西轻工业.2008
[5].张国军,谭支鹏.网格数据库并发事务串行化研究[J].福建电脑.2007
[6].王元珍,龚卫华.MDBS中一种改进的并发事务调度算法[J].计算机工程与应用.2005
[7].段玉春,孙玉强.数据库管理系统中并发事务的控制方法[J].信阳师范学院学报(自然科学版).2004
[8].罗雪梅,王薇,韩耀军.并发事务无死锁的可串行化调度的形式化方法[J].计算机工程与应用.2004
[9].陈洪,金云程.关系数据库中并发事务的优化方法[J].计算机工程与应用.1997
[10].洪晓光,王新军,董继润.并行数据库中并发事务循环等待的一种解决方法[J].计算机工程.1997