基于模型检测技术的XML乐观并发控制协议.PDFVIP

基于模型检测技术的XML 乐观并发控制协议 作者 单维锋, 廖湖声, 王茂发, 刘海军 机构 防灾科技学院 灾害信息工程系；北京工业大学 软件学院 发表期刊 《计算机应用研究》 预排期卷 2017 年第34 卷第11 期 访问地址 /article/02-2017-11-021.html 发布日期 2016-11-28 14:49:52 引用格式 单维锋, 廖湖声, 王茂发, 刘海军. 基于模型检测技术的XML 乐观并发控制协议[J/OL]. [2016-11 -28]. /article/02-2017-11-021.html. 摘要 XML 并发控制协议可用于保证多个用户同时访问XML 文档时的事务隔离性，由于XML 数据的半 结构化特点和访问接口的特殊性，现有 XML 并发控制协议随着文件规模的增大、并发客户的增 多，系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC -MC。 通过将XML 文档对应的DTD 文档转换为系统模型，将事务操作中的XPath 转为了CTL 公式，利 用模型求值判断节点间是否存在A/D 关系，进而根据冲突矩阵判断事务之间的冲突关系。与现有 乐观并发控制协议相比，XOCC -MC 协议在文件规模大、并发客户… 关键词 XML, 乐观并发控制协议, 模型检测, 事务 中图分类号 TP311 基金项目 国家自然科学基金青年基金项目; 中央高校基本科研业务费专项资金创新项目团队 资助计划（Z 优先出版 计 算 机 应 用 研 究 第34 卷 基于模型检测技术的XML 乐观并发控制协议* 1 2 1 1 单维锋 ，廖湖声 ，王茂发 ，刘海军 (1．防灾科技学院 灾害信息工程系，河北 三河065201 ；2 ．北京工业大学 软件学院，北京 100124) 摘 要：XML 并发控制协议可用于保证多个用户同时访问XML 文档时的事务隔离性，由于XML 数据的半结构化特点 和访问接口的特殊性，现有XML 并发控制协议随着文件规模的增大、并发客户的增多，系统事务性能大幅下降。基于 模型检测技术提出了一种新的乐观并发控制协议 XOCC-MC 。通过将XML 文档对应的DTD 文档转换为系统模型，将 事务操作中的XPath 转为了CTL 公式，利用模型求值判断节点间是否存在A/D 关系，进而根据冲突矩阵判断事务之间 的冲突关系。与现有乐观并发控制协议相比，XOCC-MC 协议在文件规模大、并发客户数多的情况下，表现出较好的事 务性能。 关键词：XML ；乐观并发控制协议；模型检测；事务 中图分类号：TP311 XML optimistic concurrency control protocol based on model checking technology 1 2 1 1 Shan Weifeng , Liao Husheng , Wang Maofa , Liu Haijun (1. Dept of Disaster Information Engineering, Institute of Disaster Prevention, Sanhe Hebei 065201, Chi