策略冲突检测方法和装置制造方法及图纸

本发明专利技术公开了一种策略冲突检测方法和装置，涉及互联网领域，用于解决现有技术对策略冲突集合描述不准确以及策略冲突检测效率低的问题。策略冲突检测方法包括：对待检测策略进行函数化处理得到待检测策略函数；将待检测策略函数代入策略约束函数组进行求解，其中策略约束函数组中包含至少一个策略约束函数，策略约束函数为根据已有策略生成的函数；若有解，则确定待检测策略与已有策略冲突；若无解，则根据待检测策略更新策略约束函数。本发明专利技术的实施例主要应用于策略冲突检测。

【技术实现步骤摘要】

本专利技术涉及互联网领域，尤其涉及一种策略冲突检测方法和装置。
技术介绍
策略系统是互联网软件系统中常用的一个系统，它改变了传统的面向设备的管理方式，将管理和执行分开，管理员只要对策略进行定义而不必关心实现该策略的具体细节和相关设备情况，提升应用配置之间的绑定关系的灵活性。策略冲突检测用于检测在策略系统中的策略输入源(引起策略结果变化的一个集合)之间是否存在不确定、不稳定的关联关系(函数关系)，以防止执行相应策略后产生的策略结果(策略的执行或计算结果，可以是系统中的某一条配置或计算)出现不确定、不稳定，保证策略结果的唯一性。现有技术中的策略冲突检测技术都是在策略结果集检测、增加异常策略处理检测、循环检测策略输入源关系、建立策略输入源优先级等方面入手，主要存在以下问题：一方面，没有真正对被检测策略进行完全正向的语义分析，无法得知完整的策略冲突域，因此对策略冲突集合描述不准确；另一方面，存在重复的策略冲突计算，对过多的策略结果集合进行检测，当策略输入源的关联关系不断增加时，计算量大幅增加，因此策略冲突检测效率低。
技术实现思路
本专利技术的实施例提供一种策略冲突检测方法和装置，用于解决现有技术对策略冲突集合描述不准确以及策略冲突检测效率低的问题。为达到上述目的，本专利技术的实施例采用如下技术方案：第一方面，提供了一种策略冲突检测方法，包括：对待检测策略进行函数化处理得到待检测策略函数；将所述待检测策略函数代入策略约束函数组进行求解，其中所述策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为根据已有策略生成的函数；若有解，则确定所述待检测策略与所述已有策略冲突；若无解，则根据所述待检测策略更新所述策略约束函数。结合第一方面，在第一种可能的实现方式中，所述对待检测策略进行函数化处理得到待检测策略函数，包括：对所述待检测策略按照策略输入源为变量、策略条件为函数体进行函数化后得到所述待检测策略函数。结合第一方面，在第二种可能的实现方式中，在所述对待检测策略进行函数化处理得到待检测策略函数前，包括：对所述已有策略进行函数化处理得到已有策略函数；对关联策略进行函数化处理得到关联策略函数，其中所述关联策略用于指示所述已有策略的策略输入源之间的关联关系；根据所述关联策略函数和所述已有策略函数获取所述策略约束函数组。结合第一方面的第二种可能的实现方式，在第三种可能的实现方式中，所述对所述已有策略进行函数化处理得到已有策略函数，包括：对所述已有策略按照策略输入源为变量、策略条件为函数体进行函数化处理生成所述已有策略函数。结合第一方面的第二种可能的实现方式，在第四种可能的实现方式中，所述对关联策略进行函数化处理得到关联策略函数，包括：对所述关联策略以所述已有策略的策略输入源为变量、以所述已有策略的策略输入源之间的关联关系为函数体进行函数化处理生成所述关联策略函数。结合第一方面的第二种可能的实现方式，在第五种可能的实现方式中，所述根据所述关联策略函数和所述已有策略函数获取所述策略约束函数组，包括：将所述关联策略函数代入所述已有策略函数进行化简运算生成化简策略函数；对所述化简策略函数按照策略结果分组得到化简策略函数组；对所述化简策略函数组各组内的化简策略函数进行交叉求解得到所述策略约束函数组。第二方面，提供了一种策略冲突检测装置，包括：解析单元，用于对待检测策略进行函数化处理得到待检测策略函数；计算单元，用于将所述待检测策略函数代入策略约束函数组进行求解，其中所述策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为根据已有策略生成的函数；若有解，则所述计算单元确定所述待检测策略与所述已有策略冲突；若无解，则所述计算单元根据所述待检测策略更新所述策略约束函数。结合第二方面，在第一种可能的实现方式中，所述解析单元，具体用于对所述待检测策略按照策略输入源为变量、策略条件为函数体进行函数化后得到所述待检测策略函数。结合第二方面，在第二种可能的实现方式中，所述解析单元，还用于对所述已有策略进行函数化处理得到已有策略函数；对关联策略进行函数化处理得到关联策略函数，其中所述关联策略用于指示所述已有策略的策略输入源之间的关联关系。所述计算单元还用于根据所述关联策略函数和所述已有策略函数获取所述策略约束函数组。结合第二方面的第二种可能的实现方式，在第三种可能的实现方式中，所述解析单元具体用于对所述已有策略按照策略输入源为变量、策略条件为函数体进行函数化处理生成所述已有策略函数。结合第二方面的第二种可能的实现方式，在第四种可能的实现方式中，所述解析单元具体用于对所述关联策略以所述已有策略的策略输入源为变量、以所述已有策略的策略输入源之间的关联关系为函数体进行函数化处理生成所述关联策略函数。结合第二方面的第三种可能的实现方式，在第五种可能的实现方式中，所述计算单元具体用于将所述关联策略函数代入所述已有策略函数进行化简运算生成化简策略函数；对所述化简策略函数按照策略结果分组得到化简策略函数组；对所述化简策略函数组各组内的化简策略函数进行交叉求解得到所述策略约束函数组。本专利技术的实施例提供的策略冲突检测方法和装置，通过对待检测策略进行函数化处理得到待检测策略函数，将待检测策略函数代入策略约束函数组进行求解，在有解的情况下判断待检测策略与已有策略是否存在策略冲突；在无解的情况下判断不存在策略冲突，此时用该待检测策略来更新已有策略，其中策略约束函数为根据已有策略生成的函数，即相当于用该待检测策略来更新策略约束函数。一方面，通过不断用新的待检测策略来完善策略约束函数，使得策略约束函数能够体现所有已有策略的冲突集合，另一方面，在获取策略约束函数的情况下，可以避免之后的每次策略冲突检测均通过对所有已有策略进行重复计算的方式实现，提高了策略冲突检测过程中的计算效率，因此，解决了现有技术对策略冲突集合描述不准确以及策略冲突检测效率低的问题。附图说明为了更清楚地说明本专利技术实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。本文档来自技高网...

【技术保护点】
一种策略冲突检测方法，其特征在于，包括：对待检测策略进行函数化处理得到待检测策略函数；将所述待检测策略函数代入策略约束函数组进行求解，其中所述策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为根据已有策略生成的函数；若有解，则确定所述待检测策略与所述已有策略冲突；若无解，则根据所述待检测策略更新所述策略约束函数。

【技术特征摘要】
1.一种策略冲突检测方法，其特征在于，包括：
对待检测策略进行函数化处理得到待检测策略函数；
将所述待检测策略函数代入策略约束函数组进行求解，其中所述
策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为
根据已有策略生成的函数；
若有解，则确定所述待检测策略与所述已有策略冲突；
若无解，则根据所述待检测策略更新所述策略约束函数。
2.根据权利要求1所述的方法，其特征在于，所述对待检测策略
进行函数化处理得到待检测策略函数，包括：
对所述待检测策略按照策略输入源为变量、策略条件为函数体进
行函数化后得到所述待检测策略函数。
3.根据权利要求1所述的方法，其特征在于，在所述对待检测策
略进行函数化处理得到待检测策略函数前，包括：
对所述已有策略进行函数化处理得到已有策略函数；
对关联策略进行函数化处理得到关联策略函数，其中所述关联策
略用于指示所述已有策略的策略输入源之间的关联关系；
根据所述关联策略函数和所述已有策略函数获取所述策略约束函
数组。
4.根据权利要求3所述的方法，其特征在于，所述对所述已有策
略进行函数化处理得到已有策略函数，包括：
对所述已有策略按照策略输入源为变量、策略条件为函数体进行
函数化处理生成所述已有策略函数。
5.根据权利要求3所述的方法，其特征在于，所述对关联策略进
行函数化处理得到关联策略函数，包括：
对所述关联策略以所述已有策略的策略输入源为变量、以所述已
有策略的策略输入源之间的关联关系为函数体进行函数化处理生成所
述关联策略函数。
6.根据权利要求3所述的方法，其特征在于，所述根据所述关联
策略函数和所述已有策略函数获取所述策略约束函数组，包括：
将所述关联策略函数代入所述已有策略函数进行化简运算生成化
简策略函数；
对所述化简策略函数按照策略结果分组得到化简策略函数组；
对所述化简策略函数组各组内的化...

【专利技术属性】
技术研发人员：姜波，
申请(专利权)人：迈普通信技术股份有限公司，
类型：发明
国别省市：四川;51