[发明专利]用于部署增量网络更新的系统有效
| 申请号： | 201980063143.8 | 申请日： | 2019-07-30 |
| 公开（公告）号： | CN112805984B | 公开（公告）日： | 2022-09-23 |
| 发明（设计）人： | 许伟;纳加文德·查莱克雷;孙岩 | 申请（专利权）人： | 华为技术有限公司 |
| 主分类号： | H04L41/082 | 分类号： | H04L41/082;H04L41/0866;H04L41/08 |
| 代理公司： | 北京同达信恒知识产权代理有限公司 11291 | 代理人： | 万晓君 |
| 地址： | 518129 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 提供了一种用于部署增量网络更新的方法。接收包括用于计算机网络的提议的更新的程序，并分析所述程序以生成网络对象模型(network object model，NOM)。使用所述NOM针对所述提议的更新生成所述计算机网络的配置变更，并解析所述配置变更和初始配置以生成合成的网络配置。将所述合成的网络配置转换为一阶逻辑表示，并验证所述逻辑表示以确定所述配置变更是否由不变量约束。使用所述NOM分析验证结果，以确定所述配置变更如何导致与所述不变量相关的违规，以及如何在测试所述合成的网络配置时检测所述违规。使用分析结果更新所述计算机网络配置。 | ||
| 搜索关键词： | 用于 部署 增量 网络 更新 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华为技术有限公司，未经华为技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201980063143.8/，转载请声明来源钻瓜专利网。
- 上一篇：用于制备烷氧基亚甲基-苯甲酰基乙腈的合成方法
- 下一篇：绝缘电线
