[发明专利]策略冲突检测方法和装置

说明书

技术领域

本发明涉及互联网领域，尤其涉及一种策略冲突检测方法和装 置。

背景技术

策略系统是互联网软件系统中常用的一个系统，它改变了传统的 面向设备的管理方式，将管理和执行分开，管理员只要对策略进行定 义而不必关心实现该策略的具体细节和相关设备情况，提升应用配置 之间的绑定关系的灵活性。策略冲突检测用于检测在策略系统中的策 略输入源(引起策略结果变化的一个集合)之间是否存在不确定、不 稳定的关联关系(函数关系)，以防止执行相应策略后产生的策略结 果(策略的执行或计算结果，可以是系统中的某一条配置或计算)出 现不确定、不稳定，保证策略结果的唯一性。

现有技术中的策略冲突检测技术都是在策略结果集检测、增加异 常策略处理检测、循环检测策略输入源关系、建立策略输入源优先级 等方面入手，主要存在以下问题：一方面，没有真正对被检测策略进 行完全正向的语义分析，无法得知完整的策略冲突域，因此对策略冲 突集合描述不准确；另一方面，存在重复的策略冲突计算，对过多的 策略结果集合进行检测，当策略输入源的关联关系不断增加时，计算 量大幅增加，因此策略冲突检测效率低。

发明内容

本发明的实施例提供一种策略冲突检测方法和装置，用于解决现 有技术对策略冲突集合描述不准确以及策略冲突检测效率低的问题。

为达到上述目的，本发明的实施例采用如下技术方案：

第一方面，提供了一种策略冲突检测方法，包括：

对待检测策略进行函数化处理得到待检测策略函数；

将所述待检测策略函数代入策略约束函数组进行求解，其中所述 策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为 根据已有策略生成的函数；

若有解，则确定所述待检测策略与所述已有策略冲突；

若无解，则根据所述待检测策略更新所述策略约束函数。

结合第一方面，在第一种可能的实现方式中，所述对待检测策略 进行函数化处理得到待检测策略函数，包括：

对所述待检测策略按照策略输入源为变量、策略条件为函数体进 行函数化后得到所述待检测策略函数。

结合第一方面，在第二种可能的实现方式中，在所述对待检测策 略进行函数化处理得到待检测策略函数前，包括：

对所述已有策略进行函数化处理得到已有策略函数；

对关联策略进行函数化处理得到关联策略函数，其中所述关联策 略用于指示所述已有策略的策略输入源之间的关联关系；

根据所述关联策略函数和所述已有策略函数获取所述策略约束 函数组。

结合第一方面的第二种可能的实现方式，在第三种可能的实现方 式中，所述对所述已有策略进行函数化处理得到已有策略函数，包括：

对所述已有策略按照策略输入源为变量、策略条件为函数体进行 函数化处理生成所述已有策略函数。

结合第一方面的第二种可能的实现方式，在第四种可能的实现方 式中，所述对关联策略进行函数化处理得到关联策略函数，包括：

对所述关联策略以所述已有策略的策略输入源为变量、以所述已 有策略的策略输入源之间的关联关系为函数体进行函数化处理生成 所述关联策略函数。

结合第一方面的第二种可能的实现方式，在第五种可能的实现方 式中，所述根据所述关联策略函数和所述已有策略函数获取所述策略 约束函数组，包括：

将所述关联策略函数代入所述已有策略函数进行化简运算生成 化简策略函数；

对所述化简策略函数按照策略结果分组得到化简策略函数组；

对所述化简策略函数组各组内的化简策略函数进行交叉求解得 到所述策略约束函数组。

第二方面，提供了一种策略冲突检测装置，包括：

解析单元，用于对待检测策略进行函数化处理得到待检测策略函 数；

计算单元，用于将所述待检测策略函数代入策略约束函数组进行 求解，其中所述策略约束函数组中包含至少一个策略约束函数，所述 策略约束函数为根据已有策略生成的函数；

若有解，则所述计算单元确定所述待检测策略与所述已有策略冲 突；

若无解，则所述计算单元根据所述待检测策略更新所述策略约束 函数。