[发明专利]识别网络意图形式对等性失败中的冲突规则有效
申请号: | 201880036353.3 | 申请日: | 2018-05-24 |
公开(公告)号: | CN110692227B | 公开(公告)日: | 2022-01-21 |
发明(设计)人: | 卡蒂克·莫汉拉姆 | 申请(专利权)人: | 思科技术公司 |
主分类号: | H04L41/0866 | 分类号: | H04L41/0866;H04L67/00;H04L41/142;H04L41/14 |
代理公司: | 北京东方亿思知识产权代理有限责任公司 11258 | 代理人: | 董越 |
地址: | 美国加利*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 用于识别网络意图模型之间的冲突规则的系统、方法和计算机可读介质。获取网络意图的第一模型和第二模型,这些模型描述了网络中一个或多个网络设备之间的操作和通信。在由模型定义的可能的分组条件和网络动作的空间上计算第一模型和第二模型之间的逻辑排他性析取,而无需枚举所有可能的分组条件和网络动作。检测模型相对于至少第一网络设备是否冲突。如果模型冲突,则确定与第一模型相关联的多个规则中的给定规则是否为冲突规则。该确定包括计算给定规则与逻辑排他性析取之间的交集,其中,如果计算出的交集为非零,则给定规则为冲突规则。 | ||
搜索关键词: | 识别 网络 意图 形式 对等 失败 中的 冲突 规则 | ||
【主权项】:
1.一种方法,包括:/n获取至少网络意图的第一模型和网络意图的第二模型,所述模型描述网络中一个或多个网络设备之间的操作和通信;/n计算网络意图的所述第一模型与网络意图的所述第二模型之间的逻辑排他性析取,其中,所述逻辑排他性析取是在由所述第一模型和所述第二模型定义的可能的分组条件和网络动作的空间上计算的,所述计算是在未枚举所有可能的分组条件和网络动作的情况下执行的;/n基于所述逻辑排他性析取,检测所述第一模型和所述第二模型相对于所述一个或多个网络设备中的至少第一网络设备是否冲突;以及/n响应于检测到所述第一模型和所述第二模型冲突,针对与网络意图的所述第一模型相关联的多个规则中的一个或多个给定规则,确定给定规则是否为冲突规则,其中,所述确定包括:计算所述给定规则与所述逻辑排他性析取之间的交集,使得如果计算出的交集为非零,则所述给定规则为冲突规则。/n
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于思科技术公司,未经思科技术公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201880036353.3/,转载请声明来源钻瓜专利网。