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

• 作者: 刘海军 单维锋 廖湖声 王茂发
• 来源期刊: 计算机应用研究
• 关键词: XML 乐观并发控制协议 模型检测 事务
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 3237-3241
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.11.008

摘要

XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性.由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降.基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC.通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的冲突关系.与现有乐观并发控制协议相比,XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖湖声	北京工业大学软件学院	79	473	11.0	18.0