基于替换的实时Web服务事务处理

First, the project takes advantage of the alternative characteristic of web services, to build flexible real-time web service transaction model, from the features of the Internet environment, web service technologies and applications. Second, the project proposes the new correctness criterion that is looser than the conflict serializability, but can always ensure the consistency. Third, based on alternative, the project researches conflict abatement algorithms of real-time web service transactions, and design concurrency control algorithms and recovery processing algorithms to adapt to the Internet environment, to achieve concurrency control and fault recovery of real-time web service transactions, to meet the application requirements. Based on the novelty search and related meetings, as well as the article reported, we have not yet found the appropriate research at home and abroad. The project group is aspiring to achieve a breakthrough in the field.

利用Web服务的替换特性，从Internet环境、Web服务技术及应用的特征出发，建立柔性实时Web服务事务模型；提出比冲突可串行化宽松而且能始终保证一致性的新放松可串行化正确性准则；研究基于替换的实时Web服务事务冲突消减算法、设计相应的并发控制算法和恢复处理算法，以适应Internet环境、实现实时Web服务事务并发控制和故障恢复、满足应用需求。根据查新检索和有关会议以及文章报道，国内外尚未发现相应的研究成果。本项目组有志在该领域取得突破。

利用Web服务的替代、补偿、时间约束特性，从Internet环境、Web服务技术及应用的特征出发，建立嵌套式柔性实时Web服务语义事务模型，放松了传统的ACID性质，通过事务的有效替换来尽量降低事务故障率，减少整个事务的重启次数，提高事务执行效率，同时对于无法替换的故障事务考虑事务补偿，可有效保证系统的一致性和正确性。提出了基于嵌套式柔性实时Web服务语义事务模型的实时Web服务事务并发控制算法、提交处理算法和恢复处理算法，以适应Internet环境、实现实时Web服务事务并发控制和故障恢复、满足应用需求。根据查新检索和有关会议以及文章报道，国内外尚未发现相应的其它研究成果。 本研究对促进基于服务的软件科学与的深层次发展和广泛应用，发展具有我国自主知识产权的Web服务事务技术，意义重大。