A Verification Method for SCD Based on Validation Rules defined with XML Schema

被引:0
|
作者
Gao, Xu [1 ,2 ]
Ma, Yingxin [1 ,2 ]
Wang, Ke [3 ]
Gao, Xiang [4 ]
Tang, Xiangying [3 ]
机构
[1] Jibei Elect Power Co, Beijing, Peoples R China
[2] State Grid, Beijing, Peoples R China
[3] Shanghai Jiao Tong Univ, Sch Elect Informat & Elect Engn, Shanghai, Peoples R China
[4] Shanghai Yihao Automat Co Ltd, Shanghai, Peoples R China
关键词
smart substation; SCD; security measures; formalized description; isolation verification;
D O I
暂无
中图分类号
TE [石油、天然气工业]; TK [能源与动力工程];
学科分类号
0807 ; 0820 ;
摘要
Substation Configuration Description (SCD), containing all the configuration information of a smart substation, is generally non-standard at present. SCD verification is essential to the normal operation of a smart substation. Typically, SCD is composed of some implicit information, secondary circuits for instance, which is hard to validate directly. In existing works, developing software is the most common method to validate implicit information, however, is quite complicated and inflexible. Against this, this paper proposes a novel scheme merely utilizes programs for information extraction and assigns verification to XML Schema due to its descriptive ability of rules. In addition, SCD correctness definitions are graded by their semantic strength in order to proceed the verification level by level. It is concluded that the novel scheme is not only good at describing verification rules, but also universal to all the application scenarios.
引用
收藏
页码:164 / 168
页数:5
相关论文
共 50 条
  • [1] Validation of XML document updates based on XML schema in XML databases
    Kim, SK
    Lee, M
    Lee, KC
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, 2736 : 98 - 108
  • [2] Verification theories for XML schema
    Alagic, Suad
    Royer, Mark
    Briggs, David
    [J]. FLEXIBLE AND EFFICIENT INFORMATION HANDLING, 2006, 4042 : 262 - 265
  • [3] Program verification techniques for XML schema-based technologies
    Alagic, Suad
    Royer, Mark
    Briggs, David
    [J]. ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2006, : 86 - +
  • [4] A Clustering Method Based on XML Schema Similarity
    Sun, Xia
    Wang, Hai-jun
    [J]. 2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SCIENCE AND APPLICATION (FCSA 2011), VOL 1, 2011, : 340 - 343
  • [5] A Method of XML Twig Query Processing based on XML Document Schema
    Yu, Yi
    [J]. PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON MECHANICAL, ELECTRONIC, CONTROL AND AUTOMATION ENGINEERING (MECAE 2017), 2017, 61 : 172 - 175
  • [6] A Method of Twig Query Processing Based on XML Schema
    Li, Suming
    [J]. 2017 2ND AASRI INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (IEA 2017), 2017, : 72 - 75
  • [7] A UML-Based XML schema design method
    Wang, Ming-Wen
    Zhu, Qing-Xin
    [J]. Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2006, 35 (03): : 389 - 391
  • [8] Research and Optimization of Data Consolidation Method Based on XML Schema
    Lin, Yongzheng
    [J]. 2ND IEEE INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER CONTROL (ICACC 2010), VOL. 5, 2010, : 405 - 409
  • [9] A Graphical Based Approach to the Conceptual Modeling, Validation and Generation of XML Schema Definitions
    Dixon, Mark B.
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2013, 8 (01) : 1 - 22
  • [10] Developing a database schema generator based on XML schema
    Lim, Jong-Seon
    Choi, Mun-Young
    Joo, Kyung-Soo
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 1690 - 1694