CN101272222A - 一种约束校验方法及装置 - Google Patents

Abstract

本发明公开了一种约束校验的方法，该方法包括：根据约束描述规则将约束写入约束描述文件中，并将约束描述文件保存下来；加载约束描述文件；调用方输入当前操作记录相关参数，根据当前操作记录相关参数提取要校验的约束集，对约束集中的所有约束进行校验。本发明同时公开了一种约束校验装置，该装置包括：约束书写模块、约束集管理模块、接口模块及约束校验模块。利用本发明，能够实现约束的配制化管理，且缩小了代码规模，易于维护和扩展，具有较强的复用性。

Description

一种约束校验方法及装置

技术领域

本发明涉及约束校验技术，尤其是指一种约束校验方法及装置。

背景技术

在通信领域，网元的配置管理是通过网管实现的，而在网管侧进行各种配置操作时，必须保证配置数据的合法性，因此需要对配置数据进行约束校验以保证其合法性。比如移动通信网络中对于基站的配置管理，其中涉及的约束繁多，目前比较普遍的做法是针对每条约束编写单独的校验代码，而这些代码在程序流程上有很大的相似性，其中主要涉及数据库查询和对查询结果的约束校验，但因没有进行统一的封装处理导致代码规模庞大，不宜维护和扩展，也不具有复用性；而基于结构化查询语言(OCL，Object Constraint Language)的方法，虽然将约束表达在OCL文件中，不需要重复编码，但每次更改都要重新编译代码，并且需要深入学习OCL语法，这也为这种方法的实施应用带来了障碍。

发明内容

有鉴于此，本发明的主要目的在于提供一种约束校验方法及装置，利用本发明，能够实现约束的配制化管理，且缩小了代码规模，易于维护和扩展，具有较强的复用性。

为达到上述目的，本发明的技术方案是这样实现的：

一种约束校验方法，该方法包括：

A、根据约束描述规则将约束写入约束描述文件，并保存约束描述文件；

B、加载约束描述文件；

C、调用方输入当前操作记录相关参数，根据当前操作记录相关参数提取与当前操作记录对应的约束集，对约束集中的约束进行校验。

其中，所述约束描述规则包括四个子表达式：结构化查询语言SQL查询语句、SQL查询语句要返回的字段、约束校验的布尔表达式及约束校验失败时返回的错误码。

进一步地，步骤B中加载约束描述文件时按照操作对象名、操作类型、校验类型组成的层次关系将所有约束集保存起来。

进一步地，所述当前操作记录相关参数包括当前操作记录、操作对象名、操作类型及校验类型。

较佳地，步骤C中所述对约束集中的约束进行校验为：

C1、根据约束的条件标识判断约束类型是否为后置校验，如果为后置校验，则执行步骤C2；否则不进行任何操作；

C2、根据调用方输入的当前操作记录相关参数将约束中SQL查询语句部分及布尔表达式部分所有以this.开头的字符串替换为字段值，得到一次替换结果；

C3、执行SQL查询，得到查询语句要返回的字段部分的变量值并保存；

C4、用保存的变量值来替换一次替换结果中的布尔表达式部分的相应变量，得到二次替换结果，对二次替换结果进行布尔表达式分析，若分析结果为正确，则返回成功消息给调用方，继续用所保存的变量值进行替换和分析，直到所有保存的变量值都返回成功消息，则该条约束校验通过；否则，返回校验失败错误码给调用方，停止校验。

较佳地，根据约束的条件标识判断约束类型不为后置校验后，该方法进一步包括：进行SQL查询，得到约束的SQL查询语句要返回的字段部分的变量值并保存，用所保存的变量值来替换约束的布尔表达式部分的相应变量，得到替换结果，对替换结果进行布尔表达式分析，若分析结果为正确，则返回成功消息给调用方，继续用所保存的变量值进行替换和分析，直到所有保存的变量值都返回成功消息，则该条约束校验通过；否则，返回校验失败错误码给调用方，停止校验。

一种约束校验装置，该装置包括，约束书写模块、约束集管理模块、接口模块及约束校验模块，其中，

约束书写模块，用于根据约束描述规则将约束写入约束描述文件，并保存约束描述文件；

约束集管理模块，用于加载约束书写模块所书写的约束描述文件；

接口模块，用于接收调用方输入的当前操作记录相关参数，并根据所输入的当前操作记录相关参数从约束集管理模块中提取出与调用方输入的当前操作记录对应的约束集，并将所提取的约束集发给约束校验模块；

约束校验模块，用于对约束集管理模块发来的约束集中的约束进行校验。

其中，所述约束描述规则包括四个子表达式：SQL查询语句，SQL查询语句要返回的字段、约束校验的布尔表达式及约束校验失败时返回的错误码。

进一步地，所述约束集管理模块加载约束描述文件时按照操作对象名、操作类型、校验类型组成的层次关系将所有约束集保存起来。

进一步地，所述当前操作记录相关参数包括当前操作记录、操作对象名、操作类型及校验类型。

较佳地，所述约束校验模块进一步包括：约束类型判定单元、约束校验单元、数据存储单元及布尔表达式计算单元，其中，

约束类型判定单元，用于根据约束的条件标识判断约束类型；

约束校验单元，在约束类型判定单元确定约束类型为后置校验后用于根据调用方输入的当前操作记录相关参数将约束中SQL查询语句部分及布尔表达式部分所有以this.开头的字符串替换为字段值，得到一次替换结果；根据一次替换结果进行SQL查询，得到查询语句要返回的字段部分的变量值并保存；用所保存的变量值来替换一次替换结果中布尔表达式部分的相应变量，得到二次替换结果，并将二次替换结果发给布尔表达式计算单元进行分析；

数据存储单元，用于为约束校验单元提供查询语句要返回的字段部分的变量值；

布尔表达式计算单元，用于对约束校验单元发来的替换结果进行分析，若分析结果为正确，则返回成功消息给调用方，并通知约束校验单元继续用所保存的剩余变量值进行替换和分析；否则返回校验失败错误码给调用方，并通知约束校验单元停止工作。

较佳地，所述约束校验单元进一步用于对约束类型判定单元所确定的校验类型为前置校验的约束在数据存储单元中进行SQL查询，得到约束的SQL查询语句要返回字段部分的变量值并保存，用所保存的变量值来替换约束的布尔表达式部分的相应变量，将替换结果发给布尔表达式计算单元进行分析。

本发明的约束校验方法及装置，首先设计约束描述规则，按照约束描述规则来书写约束，并将约束以约束描述文件的形式保存起来，在调用方输入当前操作记录之前加载约束描述文件，输入当前操作记录之后，根据输入的操作对象名、操作类型、校验类型提取出与其对应的约束集，对约束集中的所有约束进行校验，若所有约束都通过，则对当前操作记录的约束校验通过，配置数据给当前操作记录的调用方；一旦有一条约束校验失败，则对当前操作记录的校验失败。由此可见，本发明由于约束描述规则的设计，使得无论增加和修改约束，或对约束进行校验都按照该约束描述规则来进行，约束校验中的代码一旦完成就无需修改，增加和修改约束只需要修改约束描述文件即可，而且约束描述简单易用，而且前后台可以重用同一套代码，由此可以实现约束的配置化管理，同传统的约束校验方法相比缩小了代码规模，同时易于维护和扩展，具有较强的复用性。

附图说明

图1为本发明约束校验的方法流程示意图；

图2为本发明对约束集中的任意一条约束进行校验的方法流程示意图；

图3为对具体的约束进行校验的方法流程示意图；

图4为本发明约束校验装置结构示意图。

具体实施方式

下面结合附图来对本发明的具体实施作进一步详细的说明。

本发明约束校验方法如图1所示，包括以下步骤：

步骤11、设计约束描述规则。

这里，约束描述规则一般由四个子表达式构成，第一个表达式表示结构化查询语言(SQL，Structured Query Language)查询语句，第二个表达式表示SQL查询语句要返回的字段，第三个表达式表示约束校验的布尔表达式，第四个表达式表示约束校验失败时返回的错误码。

例如，约束规则可以由check＝””、result＝””、expression＝””、errcode＝””四个表达式组成，其中，

Check表示SQL查询语句，执行查询时在表达式前面加上“select*”，如果此项为空则直接计算expression，用于支持配置数据大小范围的检查；

result表示SQL查询语句要返回的字段，在该表达式中变量num表示查询得到的记录数，其它在该表达式中出现的变量名均为要查询表的字段名称；

expression表示约束校验的布尔表达式，该项要用到result项中的变量值；

errcode表示约束校验失败时返回的错误码；

步骤12、按照约束描述规则将不同的约束按照操作对象名、操作类型、校验类型组成的层次关系写入约束描述文件，并保存约束描述文件。

在这里，在约束描述文件中书写不同的约束时要严格遵守约束描述规则，约束描述文件在约束校验库中的存储格式可以为txt、ini、xml等文件形式，以xml文件格式为例来说明约束：

例如，将“T_ROUTER表最多可配置8条记录”这条约束按照由check＝””、result＝””、expression＝””、errcode＝””四个表达式组成约束描述规则以xml约束描述文件的形式写在约束校验库中为：

<ManagedObject name＝″T_ROUTER″>

    <Operate name＝″Add″>

       <Precondition>

           <Rule     check＝″from        T_ROUTER″      result＝″num″

           expression＝″result<8″ errcode＝″100″/>

       </Precondition>

     </Operate>

</ManagedObject>

根据该约束可知，在向T_ROUTER表中增加记录时就要校验这条约束，如果此时已有8条记录，则返回错误码为100的提示信息。

又如，将“当连接类型为2时，T_ROUTER表中的abyIPAddress字段唯一”这条约束按照由check＝””、result＝””、expression＝””、errcode＝””四个表达式组成约束描述规则以xml约束描述文件的形式写在约束校验库中为：

<ManagedObject name＝″T_ROUTER″>

 <Operate name＝″Add″>

   <Postcondition>

       <Rule   check＝″from       T_ROUTER    where     this.byLinkTpye＝2   and

   byLinkTpye＝2″                                       result＝″abyIPAddress″

   expression＝″result[0]！＝this.abyIPAddress[0]                             ||

   result[1]！＝this.abyIPAddress[1]    || result[2]！＝this.abyIPAddress[2]   ||

   result[3]！＝this.abyIPAddress[3]″    errcode＝″101″/>

   </Postcondition>

</Operate>

</ManagedObject>

根据该约束可知，在向T_ROUTER表中增加记录时就要校验这条约束，如果连接类型为2且当前要加入的记录的IP地址与数据存储单元中已有记录的该字段值相同，则返回错误码为101的提示信息。

由以上两个约束可知，expression中的变量名都含有“result”，如果约束描述文件中result属性中含有多个变量，如result＝”byLinkType，abyIPAddress”，则expreesion中以result.1、result.2分别表示byLinkType、abyIPAddress。

步骤13、约束集管理模块加载约束描述文件。

因为在执行某个操作记录时所涉及的约束由很多，执行某个操作记录时所涉及的所有约束构成约束集。加载约束描述文件时由约束集管理模块按照操作对象名、操作类型、校验类型组成的层次关系将所有约束集保存起来。

步骤14、调用方向接口模块中输入当前操作记录、操作对象名、操作类型、校验类型等当前操作记录相关参数。

步骤15、接口模块根据输入的操作记录相关参数从约束集管理模块中提取出与调用方输入的当前操作记录对应的约束集，并将所提取的约束集发给约束校验模块。

这里，接口模块对外提供Check接口供开发者调用，Check接口的具体格式如下：Check(ObjName，OpType，CondType，Buffer)，其中ObjName为操作的对象名；OpType为操作类型，包括增加，删除，修改；CondType为校验类型，包括前置校验和后置校验；Buffer代表当前操作记录所在的缓冲区。

步骤16、约束校验模块对所得到的约束集中所有的约束进行校验，若所有的约束都通过，则返回成功消息给调用方，配置数据到网元；否则，返回约束校验失败的错误码及与该错误码对应的提示信息给调用方，并停止对约束集中剩余约束的校验。

这里，具体对约束集中的任意一条约束进行校验的方法流程如图2所示，包括以下步骤：

步骤161、约束类型判定单元根据约束的条件标识判断约束类型是否为后置校验，如果为后置校验，则执行a分支；如果是前置校验，则执行b分支。

前置校验的条件标识为：precondition；后置校验的条件标识为：postcondition。例如，前面提到的约束“T_ROUTER表最多可配置8条记录”根据该约束的条件标识可以确定该约束为前置校验。前置校验用于与操作的记录内容无关的约束校验，比如一张表的最大记录数，在向表中增加记录时先要校验这条约束；前面提到的约束“当连接类型为2时，T_ROUTER表中的abyIPAddress字段唯一”根据该约束的条件标识可以确定该约束为后置校验。后置校验用于与操作的记录内容相关的约束校验，比如一张记录学生信息的表，学号为主键约束，则在向表中增加记录时就要校验这条约束：学号不能重复。

步骤162a、约束校验单元根据Buffer中调用方输入的当前操作记录相关参数将约束中SQL查询语句部分及布尔表达式部分所有以this.开头的字符串替换为字段值，得到一次替换结果。

步骤163a、约束校验单元根据步骤162a中得到的一次替换结果在数据存储单元中进行SQL查询，得到SQL查询语句要返回的字段部分的变量值，并将所得到的所有变量值保存起来。

步骤164a、约束校验单元用所保存的变量值来替换步骤162a中所得到的一次替换结果中的布尔表达式部分的相应变量，得到二次替换结果，将二次替换结果发给布尔表达式计算单元进行分析，得到分析结果，然后执行步骤165。

步骤162b、约束校验单元直接在数据存储单元中进行SQL查询，得到约束的SQL查询语句要返回的字段部分的变量值，并将所得到的所有变量值保存起来，然后执行步骤163b。

步骤163b、约束校验单元用所保存的变量值来替换约束的布尔表达式部分的相应变量，将替换结果发给布尔表达式计算单元进行分析，得到分析结果，然后执行步骤165。

步骤165、布尔表达式计算单元判断分析结果是否为正确，若分析结果为正确，则执行步骤166，否则执行步骤166′。

步骤166、布尔表达式计算单元返回成功消息给调用方，通知约束校验单元继续用所保存的变量值进行替换，直到所有保存的所有变量值都返回成功消息，则该条约束校验通过，然后执行步骤161。

步骤166′、布尔表达式计算单元返回校验失败的错误码给调用方，并通知约束校验单元停止工作，该约束校验失败，整个约束集校验失败。

本发明具体对“当连接类型为2时，T_ROUTER表中的abyIPAddress字段唯一”这条约束进行校验的方法流程如图3所示，包括以下步骤：

步骤301、约束类型判定单元根据约束的条件标识Postcondition判断上述约束的约束类型为后置校验。

步骤302、约束校验单元用Buffer中调用方输入的当前操作记录的对应字段值替换check和expression中所有以this.开头的字符串。假设当前操作记录的byLinkType为2，abyIPAddress为192.118.0.9，则得到的一次替换结果为：check＝”from R_ROUTER where 2＝2 and byLinkTpye＝2”，expression＝″result[0]！＝192||result[1]！＝118||result[2]！＝0||result[3]！＝9″。

步骤303、约束校验单元根据步骤310中得到的一次替换结果在数据存储单元中进行SQL查询，得到查询语句要返回的字段部分，即得到abyIPAddress对应的具体变量值，并将所得到的所有变量值保存起来。

步骤304、约束校验单元用步骤303中所保存的变量值替换步骤302中得到的一次替换结果中的expression部分的相应变量，假设所保存的变量值为192.118.0.7，替换后为expression＝″192！＝192||118！＝118||0！＝0||7！＝9″；约束校验单元将替换后的expression传递给布尔表达式计算单元分析，得到分析结果。

步骤305、布尔表达式计算单元判断分析结果为正确。

步骤306、布尔表达式计算单元返回成功消息给调用方。

本发明约束校验库的装置如图4所示，主要包括：约束书写模块41、约束集管理模块42、约束校验模块43，其中，

约束书写模块41，用于将约束写入约束描述文件中，并保存约束描述文件；

约束集管理模块42，用于加载约束书写模块41所书写的约束描述文件；

加载约束描述文件时，约束集管理模块按照操作对象名、操作类型、校验类型组成的层次关系将所有约束集保存起来。

接口模块43，用于接收调用方输入的当前操作记录、操作对象名、操作类型、校验类型等操作记录相关参数，并根据所输入的当前操作记录相关参数从约束集管理模块中提取出与调用方输入的当前操作记录对应的约束集，并将所提取的约束集发给约束校验模块；

约束校验模块44，用于对接口模块43发来的约束集中的约束进行校验。

其中，约束校验模块44进一步包括约束类型判定单元441、约束校验单元442、数据存储单元443及布尔表达式计算单元444，其中，

约束类型判定单元441，用于根据约束的条件标识判断约束类型；

约束校验单元442，在约束类型判定单元441确定约束类型为后置校验后用于根据调用方输入的当前操作记录相关参数将约束中SQL查询语句部分及布尔表达式部分所有以this.开头的字符串替换为字段值，得到一次替换结果；根据一次替换结果执行SQL查询，得到查询语句要返回的字段部分的变量值，并将所得到的所有变量值保存起来；用所保存的变量值来替换所得到的一次替换结果中的布尔表达式部分的相应变量，得到二次替换结果，并将二次替换结果发给布尔表达式计算单元444进行分析。

在约束类型判定单元441确定约束类型不为后置校验后，即确定约束类型为前置校验后还用于对所述前置校验的约束直接进行SQL查询，保存约束要返回的字段部分的变量值；用所保存的变量值来替换约束的布尔表达式部分的相应变量，将替换结果发给布尔表达式计算单元444进行分析；

数据存储单元443，用于为约束校验单元提供查询语句要返回的字段部分的变量值；

布尔表达式计算单元444，用于对约束校验单元发来的替换结果进行分析，若分析结果为正确，则返回成功消息给调用方，并通知约束校验单元继续用所保存的剩余变量值进行替换；否则返回校验失败错误码给调用方，并通知约束校验单元442停止工作。

以上所述，仅为本发明的较佳实施例而已，并非用于限定本发明的保护范围。

Claims (12)

1、一种约束校验方法，其特征在于，该方法包括：

A、根据约束描述规则将约束写入约束描述文件，并保存约束描述文件；

B、加载约束描述文件；

C、调用方输入当前操作记录相关参数，根据当前操作记录相关参数提取与当前操作记录对应的约束集，对约束集中的约束进行校验。

2、根据权利要求1所述的方法，其特征在于，所述约束描述规则包括四个子表达式：结构化查询语言SQL查询语句、SQL查询语句要返回的字段、约束校验的布尔表达式及约束校验失败时返回的错误码。

3、根据权利要求1所述的方法，其特征还在于，步骤B中加载约束描述文件时按照操作对象名、操作类型、校验类型组成的层次关系将所有约束集保存起来。

4、根据权利要求1所述的方法，其特征还在于，所述当前操作记录相关参数包括当前操作记录、操作对象名、操作类型及校验类型。

5、根据权利要求4所述的方法，其特征在于，步骤C中所述对约束集中的约束进行校验为：

C1、根据约束的条件标识判断约束类型是否为后置校验，如果为后置校验，则执行步骤C2；否则不进行任何操作；

C2、根据调用方输入的当前操作记录相关参数将约束中SQL查询语句部分及布尔表达式部分所有以this.开头的字符串替换为字段值，得到一次替换结果；

C3、执行SQL查询，得到查询语句要返回的字段部分的变量值并保存；

C4、用保存的变量值来替换一次替换结果中的布尔表达式部分的相应变量，得到二次替换结果，对二次替换结果进行布尔表达式分析，若分析结果为正确，则返回成功消息给调用方，继续用所保存的变量值进行替换和分析，直到所有保存的变量值都返回成功消息，则该条约束校验通过；否则，返回校验失败错误码给调用方，停止校验。

6、根据权利要求5所述的方法，其特征在于，根据约束的条件标识判断约束类型不为后置校验后，该方法进一步包括：进行SQL查询，得到约束的SQL查询语句要返回的字段部分的变量值并保存，用所保存的变量值来替换约束的布尔表达式部分的相应变量，得到替换结果，对替换结果进行布尔表达式分析，若分析结果为正确，则返回成功消息给调用方，继续用所保存的变量值进行替换和分析，直到所有保存的变量值都返回成功消息，则该条约束校验通过；否则，返回校验失败错误码给调用方，停止校验。

7、一种约束校验装置，其特征在于，该装置包括，约束书写模块、约束集管理模块、接口模块及约束校验模块，其中，

约束书写模块，用于根据约束描述规则将约束写入约束描述文件，并保存约束描述文件；

约束集管理模块，用于加载约束书写模块所书写的约束描述文件；

接口模块，用于接收调用方输入的当前操作记录相关参数，并根据所输入的当前操作记录相关参数从约束集管理模块中提取出与调用方输入的当前操作记录对应的约束集，并将所提取的约束集发给约束校验模块；

约束校验模块，用于对约束集管理模块发来的约束集中的约束进行校验。

8、根据权利要求7所述的装置，其特征在于，所述约束描述规则包括四个子表达式：SQL查询语句，SQL查询语句要返回的字段、约束校验的布尔表达式及约束校验失败时返回的错误码。

9、根据权利要求8所述的方法，其特征还在于，所述约束集管理模块加载约束描述文件时按照操作对象名、操作类型、校验类型组成的层次关系将所有约束集保存起来。

10、根据权利要求9所述的方法，其特征还在于，所述当前操作记录相关参数包括当前操作记录、操作对象名、操作类型及校验类型。

11、根据权利要求10所述的装置，其特征在于，所述约束校验模块进一步包括：约束类型判定单元、约束校验单元、数据存储单元及布尔表达式计算单元，其中，

约束类型判定单元，用于根据约束的条件标识判断约束类型；

约束校验单元，在约束类型判定单元确定约束类型为后置校验后用于根据调用方输入的当前操作记录相关参数将约束中SQL查询语句部分及布尔表达式部分所有以this.开头的字符串替换为字段值，得到一次替换结果；根据一次替换结果进行SQL查询，得到查询语句要返回的字段部分的变量值并保存；用所保存的变量值来替换一次替换结果中布尔表达式部分的相应变量，得到二次替换结果，并将二次替换结果发给布尔表达式计算单元进行分析；

数据存储单元，用于为约束校验单元提供查询语句要返回的字段部分的变量值；

布尔表达式计算单元，用于对约束校验单元发来的替换结果进行分析，若分析结果为正确，则返回成功消息给调用方，并通知约束校验单元继续用所保存的剩余变量值进行替换和分析；否则返回校验失败错误码给调用方，并通知约束校验单元停止工作。

12、根据权利要求11所述的装置，其特征在于，所述约束校验单元进一步用于对约束类型判定单元所确定的校验类型为前置校验的约束在数据存储单元中进行SQL查询，得到约束的SQL查询语句要返回字段部分的变量值并保存，用所保存的变量值来替换约束的布尔表达式部分的相应变量，将替换结果发给布尔表达式计算单元进行分析。

Images