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

权利要求书

1.一种策略冲突检测方法，其特征在于，包括：

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

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

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

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

2.根据权利要求1所述的方法，其特征在于，所述对待检测策略 进行函数化处理得到待检测策略函数，包括：

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

3.根据权利要求1所述的方法，其特征在于，在所述对待检测策 略进行函数化处理得到待检测策略函数前，包括：

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

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

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

4.根据权利要求3所述的方法，其特征在于，所述对所述已有策 略进行函数化处理得到已有策略函数，包括：

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

5.根据权利要求3所述的方法，其特征在于，所述对关联策略进 行函数化处理得到关联策略函数，包括：

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

6.根据权利要求3所述的方法，其特征在于，所述根据所述关联 策略函数和所述已有策略函数获取所述策略约束函数组，包括：

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

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

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

7.一种策略冲突检测装置，其特征在于，包括：

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

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

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

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

8.根据权利要求7所述的装置，其特征在于，

所述解析单元，具体用于对所述待检测策略按照策略输入源为变 量、策略条件为函数体进行函数化后得到所述待检测策略函数。

9.根据权利要求7所述的装置，其特征在于，

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

所述计算单元，还用于根据所述关联策略函数和所述已有策略函 数获取所述策略约束函数组。

10.根据权利要求9所述的装置，其特征在于，

所述解析单元，具体用于对所述已有策略按照策略输入源为变量、 策略条件为函数体进行函数化处理生成所述已有策略函数。

11.根据权利要求9所述的装置，其特征在于，

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

12.根据权利要求9所述的装置，其特征在于，

所述计算单元，具体用于将所述关联策略函数代入所述已有策略 函数进行化简运算生成化简策略函数；对所述化简策略函数按照策略 结果分组得到化简策略函数组；对所述化简策略函数组各组内的化简 策略函数进行交叉求解得到所述策略约束函数组。