松弛隔离性下的事务性网构应用并发控制研究

摘要：

网构软件是指导Internet环境下协作式软件开发的一种新的软件范型,网构应用可以通过组合Internet上已有的web服务来方便地进行构造.事务机制是保障网构应用可靠性的重要技术.web服务的自治性及网构应用的长时间运行特性使得事务间的隔离性必须被放松,因而必须研究如何保障事务性网构应用在松弛隔离性下并发执行时的正确性.针对这一问题,提出了一种新的并发控制方法TSCM-CC(事务性服务复合模型一并发控制)来协调并发事务的相互影响.首先,根据依赖双方服务的事务特征对事务间依赖的类型进行细分;然后,提出了一系列的规则来限制依赖的动态形成,并证明了这些规则的正确性;最后,给出了这些规则的一个分布式的协调协议的实现机制.此方法的最大特色在于能够在保持各个事务性网构应用松弛原子性的同时保证松弛隔离性下并发执行的正确性.

关键词：网构软件、服务组合、松弛隔离性、依赖、并发控制

所属期刊栏目：2

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60773028;60673112;国家重点基础研究发展计划973计划2002CB312005

在线出版日期：2008-10-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：405-417