| 基于模型检测技术的XML乐观并发控制协议 |
| |
| 引用本文： | 单维锋,廖湖声,王茂发,刘海军.基于模型检测技术的XML乐观并发控制协议[J].计算机应用研究,2017,34(11). |
| |
| 作者姓名： | 单维锋 廖湖声 王茂发 刘海军 |
| |
| 作者单位： | 防灾科技学院,北京工业大学,防灾科技学院 灾害信息工程系,防灾科技学院 |
| |
| 基金项目： | 国家自然科学基金青年基金项目 |
| |
| 摘 要： | XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性，由于XML数据的半结构化特点和访问接口的特殊性，现有XML并发控制协议随着文件规模的增大、并发客户的增多，系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型，将事务操作中的XPath转为了CTL公式，利用模型求值判断节点间是否存在A/D关系，进而根据冲突矩阵判断事务之间的冲突关系。与现有乐观并发控制协议相比，XOCC-MC协议在文件规模大、并发客户数多的情况下，表现出较好的事务性能。
|
| 关 键 词： | XML 乐观并发控制协议 模型检测 事务 |
| 收稿时间： | 2016/8/7 0:00:00 |
| 修稿时间： | 2017/8/1 0:00:00 |
XML optimistic concurrency control protocol based on model checking technology |
| |
| SHAN Weifeng,LIAO Husheng,WANG Maofa and LIU Haijun.XML optimistic concurrency control protocol based on model checking technology[J].Application Research of Computers,2017,34(11). |
| |
| Authors: | SHAN Weifeng LIAO Husheng WANG Maofa and LIU Haijun |
| |
| Affiliation: | Institute of Disaster Prevention,Beijing University of Technology,Institute of Disaster Prevention,Institute of Disaster Prevention |
| |
| Abstract: | |
| |
| Keywords: | XML Optimistic Concurrency Control Protocol Model Checking Transaction |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
