识别网络意图形式对等性失败中的冲突规则

摘要

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