[发明专利]识别网络意图形式对等性失败中的冲突规则

权利要求书

1.一种方法，包括：

获取至少网络意图的第一模型和网络意图的第二模型，所述模型描述网络中一个或多个网络设备之间的操作和通信；

将每个模型转换为优先级排序的规则的集合，每个规则包括用于处理分组的动作以及将触发该动作的条件集合；

针对每个规则集合，计算一个或多个精简的有序二元决策图ROBDD；

计算根据网络意图的所述第一模型获得的ROBDD与根据网络意图的所述第二模型获得的ROBDD之间的逻辑排他性析取；

基于所述逻辑排他性析取是否为空，检测所述第一模型和所述第二模型是否冲突；以及

响应于检测到所述第一模型和所述第二模型冲突，针对与网络意图的所述第一模型相关联的规则集合中的一个或多个给定规则，确定给定规则是否为冲突规则，其中，所述确定包括：计算所述给定规则与所述逻辑排他性析取之间的交集，使得如果计算出的交集为非零，则所述给定规则为冲突规则。

2.根据权利要求1所述的方法，还包括：针对与网络意图的所述第二模型相关联的规则集合中的一个或多个给定规则，确定给定规则是否为冲突规则，其中，所述确定包括：计算所述给定规则与所述逻辑排他性析取之间的交集，使得如果计算出的交集为非零，则所述给定规则为冲突规则。

3.根据权利要求1或2所述的方法，其中，所述第二模型是参考模型，并且所述第一模型是被测模型。

4.根据权利要求1或2所述的方法，还包括：针对所述冲突规则中的一个或多个冲突规则执行反向注释，以识别从其导出所述一个或多个冲突规则中给定的一个冲突规则的契约或结构范围的用户意图。

5.根据权利要求1或2所述的方法，其中，所述逻辑排他性析取是精简的有序二元决策图(ROBDD)。

6.根据权利要求1所述的方法，其中，所述第一模型和所述第二模型中的一个或多个特定于与允许、允许_日志、拒绝、或拒绝_日志动作相对应的网络意图。

7.一种系统，包括：

一个或多个处理器；以及

至少一个计算机可读存储介质，所述至少一个计算机可读存储介质中存储有指令，所述指令当被所述一个或多个处理器执行时，使得所述系统执行以下操作：

获取至少网络意图的第一模型和网络意图的第二模型，所述模型描述网络中一个或多个网络设备之间的操作和通信；

将每个模型转换为优先级排序的规则的集合，每个规则包括用于处理分组的动作以及将触发该动作的条件集合；

针对每个规则集合，计算一个或多个精简的有序二元决策图ROBDD；

计算根据网络意图的所述第一模型获得的ROBDD与根据网络意图的所述第二模型获得的ROBDD之间的逻辑排他性析取；

基于所述逻辑排他性析取是否为空，检测所述第一模型和所述第二模型是否冲突；以及

响应于检测到所述第一模型和所述第二模型冲突，针对与网络意图的所述第一模型相关联的规则集合中的一个或多个给定规则，确定给定规则是否为冲突规则，其中，所述确定包括：计算所述给定规则与所述逻辑排他性析取之间的交集，使得如果计算出的交集为非零，则所述给定规则为冲突规则。

8.根据权利要求7所述的系统，其中，所述指令还使得所述系统执行以下操作：针对与网络意图的所述第二模型相关联的规则集合中的一个或多个给定规则，确定给定规则是否为冲突规则，其中，所述确定包括：计算所述给定规则与所述逻辑排他性析取之间的交集，使得如果计算出的交集为非零，则所述给定规则为冲突规则。

9.根据权利要求7或8所述的系统，其中，所述第二模型是参考模型，并且所述第一模型是被测模型。

10.根据权利要求7或8所述的系统，其中，所述指令还使得所述系统执行以下操作：针对所述冲突规则中的一个或多个冲突规则执行反向注释，以识别从其导出所述一个或多个冲突规则中给定的一个冲突规则的契约或结构范围的用户意图。