[发明专利]一种逆向触发式的SCL模型校验方法

权利要求书

1.一种逆向触发式的SCL模型校验方法，其特征在于，包括如下步骤：

步骤1、载入SCL模型尾部的数据，即DataTypeTemplates数据；

步骤2、在载入DataTypeTemplates数据后，对DataTypeTemplates数据进行预处理；

步骤3、顺序载入SCL模型实例化数据IED数据、SCL模型变电站组网信息Communication数据，在数据的加载过程中，采用被动触发式的方法进行规则的校验，只要模型加载的部分满足某一或多个校验规则的触发条件，则启动该条规则的校验；

步骤4、当规则库触发条件检索完毕且模型加载完毕则结束；

步骤2中，对DataTypeTemplates数据进行预处理包括：

201、进行正确性、关联性、非冗余性筛查；

202、建立后期校验所需的索引结构。

2.根据权利要求1所述的一种逆向触发式的SCL模型校验方法，其特征在于，步骤3中，在数据的加载过程中，检索规则库触发条件，每个校验规则采用多元组的方式进行描述，形式为：

{EList,RegList,Tag_root}，其中：

EList为元素集，用xml文件中元素的tag标签表示；

RegList为规则集，用来定义元素遵循的规则；

Tag_root为规则启动的根元素标记。

3.根据权利要求2所述的一种逆向触发式的SCL模型校验方法，其特征在于，检索规则库触发条件具体包括：

1)为校验规则设置栈结构Stack；

2)模型从后向前加载，读到Tag_root元素结束标记时，将其入栈；

3)将Tag_root的子节点元素序列EList入栈；

4)当所需的EList元素集合条件满足时，启动校验。

4.根据权利要求2所述的一种逆向触发式的SCL模型校验方法，其特征在于，RegList为规则集，规则表现形式为正则表达式。

5.根据权利要求2所述的一种逆向触发式的SCL模型校验方法，其特征在于，RegList为规则集，规则表现形式为软件程序函数入口或脚本索引。