Consistency Verification for GML Data Based on DOM

被引:0
|
作者
Gao, Xiaoli [1 ]
Li, Haixia [1 ]
Yan, Tingguang [1 ]
Cui, Zhencai [1 ]
Yu, Jiyu [1 ]
Sheng, Yehua [2 ]
机构
[1] Shandong Water Polytech, Rizhao, Shandong, Peoples R China
[2] Nanjing Normal Univ, Key Lab Virtual Geog Environm, Nanjing, Jiangsu, Peoples R China
关键词
GML; Schema-based parser; DOM; Consistency verification; RegExp; HRegExp;
D O I
10.1007/978-3-662-49155-3_14
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
GML schemas are metadata files, which define the structure, content and restriction of GML instances. As a kernel of the GML parser, consistency verification decides whether GML documents are consistent with the relevant application schemas. In order to parse GML data more effectively and accurately, an algorithm based on DOM was developed as to how GML consistency can be verified. Furthermore, some primary user-defined methods and the homologous regular expression technology, involving in this algorithm, were discussed in detail. Experimental results show that the consistency verification algorithm is efficient.
引用
收藏
页码:149 / 158
页数:10
相关论文
共 50 条
  • [31] A secure dynamic cross-chain decentralized data consistency verification model
    Zhao, Jiahao
    Zhang, Yushu
    Jiang, Jiajia
    Hua, Zhongyun
    Xiang, Yong
    [J]. JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2024, 36 (01)
  • [32] Automatable verification of sequential consistency
    Condon, AE
    Hu, AJ
    [J]. THEORY OF COMPUTING SYSTEMS, 2003, 36 (05) : 431 - 460
  • [33] Automatable Verification of Sequential Consistency
    Anne E. Condon
    Alan J. Hu
    [J]. Theory of Computing Systems, 2003, 36 : 431 - 460
  • [34] Dynamic verification of sequential consistency
    Meixner, A
    Sorin, DJ
    [J]. 32ND INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 2005, : 482 - 493
  • [35] A Novel Spatial Clustering Algorithm Based on Spatial Adjacent Relation for GML Data
    Ji, Genlin
    Miao, Jianxin
    Yang, Ming
    [J]. PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL I, 2009, : 278 - 282
  • [36] Verification of Time Constraints Consistency on Web Service Composition based on ETPN
    Chen, Ting-wei
    Geng, Shuo-yang
    [J]. INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS II, PTS 1-3, 2011, 58-60 : 1094 - 1099
  • [37] AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (04) : 761 - 782
  • [38] The TCPN-based verification of temporal consistency in Web Service process
    Jiang Hao
    Sun Zhi-jian
    [J]. ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2006, : 302 - +
  • [39] A Consistency Verification Method with Semantics for Component-Based Software Designs
    Li, Xue
    Zhu, Jiagang
    [J]. PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016, : 821 - 826
  • [40] Consistency verification in transaction-based optimistic steering of distributed computations
    Guo, Jinhua
    [J]. INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 2006, 21 (06) : 385 - 404