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

说明书

用于识别网络意图模型之间的冲突规则的系统、方法和计算机可读介质。获取网络意图的第一模型和第二模型，这些模型描述了网络中一个或多个网络设备之间的操作和通信。在由模型定义的可能的分组条件和网络动作的空间上计算第一模型和第二模型之间的逻辑排他性析取，而无需枚举所有可能的分组条件和网络动作。检测模型相对于至少第一网络设备是否冲突。如果模型冲突，则确定与第一模型相关联的多个规则中的给定规则是否为冲突规则。该确定包括计算给定规则与逻辑排他性析取之间的交集，其中，如果计算出的交集为非零，则给定规则为冲突规则。

相关申请的交叉引用

本申请要求于2017年05月31日递交的题为“IDENTIFICATION OF CONFLICT RULESIN A NETWORK INTENT FORMAL EQUIVALENCE FAILURE(识别网络意图形式对等性失败中的冲突规则)”的美国临时专利申请第62/513,037号，和于2017年08月31日递交的题为“IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVALENCEFAILURE(识别网络意图形式对等性失败中的冲突规则)”的美国非临时专利申请第15/693,220号的权益和优先权。通过引用将这两个申请的全部内容明确地合并于此。

技术领域

本技术涉及网络配置和故障排除，更具体地，涉及检测和识别作为网络意图的模型之间的形式对等性失败(equivalence failure)的基础的冲突规则。

背景技术

计算机网络变得越来越复杂，通常在网络的各个层都涉及低层以及高层配置。例如，计算机网络一般包括众多访问策略、转发策略、路由策略、安全性策略、服务质量(QoS)策略等等，它们共同定义了网络的整体行为和操作。网络运营商具有各种各样的配置选项，使得可根据用户的需求定制网络。尽管可用的不同配置选项为网络运营商提供了很大程度的灵活性和对网络的控制，但它们也增加了网络的复杂性。在许多情况下，配置过程可能变得高度复杂。毫不奇怪，网络配置过程越来越容易出错。另外，对高度复杂的网络中的错误进行故障排除可能极其困难。识别网络中意外行为的根本原因的过程可能是艰巨的任务。

附图说明

为了描述可以获得本公开的上述和其他优点和特征的方式，将通过参考在附图中示出的上面简要描述的原理的特定实施例来呈现对这些原理的更具体的描述。应理解，这些附图仅描绘了本公开的示例性实施例，因此不应认为是对其范围的限制，通过使用附图，利用附加特征和细节描述和解释了本文的原理，在附图中：

图1A和1B示出了示例网络环境；

图2A示出了网络的示例对象模型；

图2B示出了图2A的示例对象模型中的租户对象(tenant object)的示例对象模型；

图2C示出了图2A的示例对象模型中的各对象的示例关联；

图2D示出了用于实现图2A的示例对象模型的示例模型的示意图；

图3A示出了示例网络保证设备(network assurance appliance)；

图3B示出了用于网络保证的示例系统；

图3C示出了用于网络中的静态策略分析的示例系统的示意图；

图4示出了用于网络保证和故障代码聚合的示例方法实施例；

图5示出了用于识别冲突规则的示例架构；

图6A示出了第一示例冲突精简的有序二元决策图(ROBDD)；

图6B示出了第二示例冲突ROBDD；

图6C示出了添加了新规则的图6B的示例冲突ROBDD；