[发明专利]响应于网络意图形式对等性失败的事件生成

说明书

用于接收对对等性失败的指示的系统、方法和计算机可读介质，该对等性失败与一个或多个网络意图模型相对应。对对等性失败的指示被分析，并且导致对等性失败的一个或多个构成意图被标识，其中，一个或多个构成意图与一个或多个网络意图模型中的模型相关联。对等性失败的粒度和所标识的一个或多个构成意图被确定，并且针对外部消费的事件被生成，该事件至少部分基于对等性失败、等效故障的粒度、以及所标识的一个或多个构成意图。

相关申请的交叉引用

本申请要求于2017年06月16日递交的题为“EVENT GENERATION IN RESPONSE TONETWORK INTENT FORMAL EQUIVALENCE FAILURES(响应于网络意图形式对等性失败的事件生成)”的美国临时专利申请第62/520,722号，和于2017年07月28日递交的题为“EVENTGENERATION IN RESPONSE TO NETWORK INTENT FORMAL EQUIVALENCE FAILURES(响应于网络意图形式对等性失败的事件生成)”的美国非临时专利申请第15/662,906号的权益和优先权。每个申请的全部内容通过引用被明确地合并于此。

技术领域

本技术涉及网络配置和故障排除，更具体地，涉及经由针对形式对等性失败(equivalence failure)的外部事件确保网络配置。

背景技术

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

附图说明

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

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

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

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

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

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

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

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

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

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

图5A示出了用于形式分析的示例架构；

图5B示出了由模型评估的成对结果触发的事件的图表；

图6示出了根据各种实施例的示例网络设备；以及

图7示出了根据各种实施例的示例计算设备。

具体实施方式