计算机应用研究2017，Vol.34Issue(11)：3237-3241,5.DOI:10.3969/j.issn.1001-3695.2017.11.008
基于模型检测技术的XML乐观并发控制协议
XML optimistic concurrency control protocol based on model checking technology
摘要
Abstract
XML concurrency control protocol can be used to ensure the isolation of transactions while multiple users accessing the same XML document concurrently.Due to the semi-structured characteristics and the particularity of access interface of XML data,the performance of existing XML concurrency control protocols reduce dramatically with the increase of file size and customer numbers.This paper proposed a new optimistic concurrency control protocol based on model checking technology (XOCC-MC),which converted DTD corresponding XML document to system model,translated the XPaths to the CTL formulas,and used model evaluation result to judge whether there was an A/D relationship between nodes.Then it judged transaction conflicts according to the conflict matrix.Experimental results show that XOCC-MC has better performance than other protocols when the XML file size is large and the number of concurrent clients is more.关键词
XML/乐观并发控制协议/模型检测/事务Key words
XML/optimistic concurrency control protocol/model checking/transaction分类
信息技术与安全科学引用本文复制引用
单维锋,廖湖声,王茂发,刘海军..基于模型检测技术的XML乐观并发控制协议[J].计算机应用研究,2017,34(11):3237-3241,5.基金项目
国家自然科学基金青年基金资助项目(41504037) （41504037）
中央高校基本科研业务费专项资金创新项目团队资助计划项目(ZY20160106) （ZY20160106）
