策略冲突检测方法和装置的制造方法
【技术领域】
[0001]本发明涉及互联网领域，尤其涉及一种策略冲突检测方法和装置。
【背景技术】
[0002]策略系统是互联网软件系统中常用的一个系统，它改变了传统的面向设备的管理方式，将管理和执行分开，管理员只要对策略进行定义而不必关心实现该策略的具体细节和相关设备情况，提升应用配置之间的绑定关系的灵活性。策略冲突检测用于检测在策略系统中的策略输入源(引起策略结果变化的一个集合)之间是否存在不确定、不稳定的关联关系(函数关系)，以防止执行相应策略后产生的策略结果(策略的执行或计算结果，可以是系统中的某一条配置或计算)出现不确定、不稳定，保证策略结果的唯一性。
[0003]现有技术中的策略冲突检测技术都是在策略结果集检测、增加异常策略处理检测、循环检测策略输入源关系、建立策略输入源优先级等方面入手，主要存在以下问题:一方面，没有真正对被检测策略进行完全正向的语义分析，无法得知完整的策略冲突域，因此对策略冲突集合描述不准确;另一方面，存在重复的策略冲突计算，对过多的策略结果集合进行检测，当策略输入源的关联关系不断增加时，计算量大幅增加，因此策略冲突检测效率低。
【发明内容】
[0004]本发明的实施例提供一种策略冲突检测方法和装置，用于解决现有技术对策略冲突集合描述不准确以及策略冲突检测效率低的问题。
[0005]为达到上述目的，本发明的实施例采用如下技术方案:
[0006]第一方面，提供了一种策略冲突检测方法，包括:
[0007]对待检测策略进行函数化处理得到待检测策略函数；
[0008]将所述待检测策略函数代入策略约束函数组进行求解，其中所述策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为根据已有策略生成的函数；
[0009]若有解，则确定所述待检测策略与所述已有策略冲突；
[0010]若无解，则根据所述待检测策略更新所述策略约束函数。
[0011]结合第一方面，在第一种可能的实现方式中，所述对待检测策略进行函数化处理得到待检测策略函数，包括:
[0012]对所述待检测策略按照策略输入源为变量、策略条件为函数体进行函数化后得到所述待检测策略函数。
[0013]结合第一方面，在第二种可能的实现方式中，在所述对待检测策略进行函数化处理得到待检测策略函数前，包括:
[0014]对所述已有策略进行函数化处理得到已有策略函数；
[0015]对关联策略进行函数化处理得到关联策略函数，其中所述关联策略用于指示所述已有策略的策略输入源之间的关联关系；
[0016]根据所述关联策略函数和所述已有策略函数获取所述策略约束函数组。
[0017]结合第一方面的第二种可能的实现方式，在第三种可能的实现方式中，所述对所述已有策略进行函数化处理得到已有策略函数，包括:
[0018]对所述已有策略按照策略输入源为变量、策略条件为函数体进行函数化处理生成所述已有策略函数。
[0019]结合第一方面的第二种可能的实现方式，在第四种可能的实现方式中，所述对关联策略进行函数化处理得到关联策略函数，包括:
[0020]对所述关联策略以所述已有策略的策略输入源为变量、以所述已有策略的策略输入源之间的关联关系为函数体进行函数化处理生成所述关联策略函数。
[0021]结合第一方面的第二种可能的实现方式，在第五种可能的实现方式中，所述根据所述关联策略函数和所述已有策略函数获取所述策略约束函数组，包括:
[0022]将所述关联策略函数代入所述已有策略函数进行化简运算生成化简策略函数；
[0023]对所述化简策略函数按照策略结果分组得到化简策略函数组；
[0024]对所述化简策略函数组各组内的化简策略函数进行交叉求解得到所述策略约束函数组。
[0025]第二方面，提供了一种策略冲突检测装置，包括:
[0026]解析单元，用于对待检测策略进行函数化处理得到待检测策略函数；
[0027]计算单元，用于将所述待检测策略函数代入策略约束函数组进行求解，其中所述策略约束函数组中包含至少一个策略约束函数，所述策略约束函数为根据已有策略生成的函数；
[0028]若有解，则所述计算单元确定所述待检测策略与所述已有策略冲突；
[0029]若无解，则所述计算单元根据所述待检测策略更新所述策略约束函数。
[0030]结合第二方面，在第一种可能的实现方式中，所述解析单元，具体用于对所述待检测策略按照策略输入源为变量、策略条件为函数体进行函数化后得到所述待检测策略函数。
[0031]结合第二方面，在第二种可能的实现方式中，所述解析单元，还用于对所述已有策略进行函数化处理得到已有策略函数;对关联策略进行函数化处理得到关联策略函数，其中所述关联策略用于指示所述已有策略的策略输入源之间的关联关系。
[0032]所述计算单元还用于根据所述关联策略函数和所述已有策略函数获取所述策略约束函数组。
[0033]结合第二方面的第二种可能的实现方式，在第三种可能的实现方式中，所述解析单元具体用于对所述已有策略按照策略输入源为变量、策略条件为函数体进行函数化处理生成所述已有策略函数。
[0034]结合第二方面的第二种可能的实现方式，在第四种可能的实现方式中，所述解析单元具体用于对所述关联策略以所述已有策略的策略输入源为变量、以所述已有策略的策略输入源之间的关联关系为函数体进行函数化处理生成所述关联策略函数。
[0035]结合第二方面的第三种可能的实现方式，在第五种可能的实现方式中，所述计算单元具体用于将所述关联策略函数代入所述已有策略函数进行化简运算生成化简策略函数;对所述化简策略函数按照策略结果分组得到化简策略函数组；
[0036]对所述化简策略函数组各组内的化简策略函数进行交叉求解得到所述策略约束函数组。
[0037]本发明的实施例提供的策略冲突检测方法和装置，通过对待检测策略进行函数化处理得到待检测策略函数，将待检测策略函数代入策略约束函数组进行求解，在有解的情况下判断待检测策略与已有策略是否存在策略冲突；在无解的情况下判断不存在策略冲突，此时用该待检测策略来更新已有策略，其中策略约束函数为根据已有策略生成的函数，即相当于用该待检测策略来更新策略约束函数。一方面，通过不断用新的待检测策略来完善策略约束函数，使得策略约束函数能够体现所有已有策略的冲突集合，另一方面，在获取策略约束函数的情况下，可以避免之后的每次策略冲突检测均通过对所有已有策略进行重复计算的方式实现，提高了策略冲突检测过程中的计算效率，因此，解决了现有技术对策略冲突集合描述不准确以及策略冲突检测效率低的问题。
【附图说明】
[0038]为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0039]图1为本发明的实施例提供的一种策略冲突检测方法的流程示意图；
[0040]图2为本发明的实施例提供的另一种策略冲突检测方法的流程示意图；
[0041]图3为本发明的实施例提供的获取策略约束函数组的流程示意图；
[0042]图4为本发明的实施例提供的一种策略冲突检测装置的结构示意图。
【具体实施方式】
[0043]下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
[0044]本发明的实施例所提供的策略冲突检测方法和策略冲突检测装置可以应用于基于策略的配置系统中和基于策略的信息处理系统中。
[0045]本发明的实施例包括下述概念:策略输入源，用来标识引起策略结果变化的一个集合;策略结果，用来标识策略的执行或计算结果，可以是系统中的某一条配置或一个计算;策略条件，用来标识策略的计算方式，使用数据操作符或自定义的函数操作符号来表示;策略函数，用来描述策略输入源、策略条件、策略结果之间的函数关系；关联函数，用来描述策略输入源之间的函数关系;策略约束函数，用来描述会引起策略冲突的策略输入源之间的函数关系。
[0046]实施例1: