[發明專利]用于核實網絡意圖的方法和系統

有效

• 申請號: 201910097945.2
• 申請日: 2019-01-31
• 公開（公告）號: CN110098950B
• 公開（公告）日: 2022-04-05
• 發明（設計）人: 姜俊明;王華哲;P.沙瑪
• 申請（專利權）人: 慧與發展有限責任合伙企業
• 主分類號: H04L41/0803
• 分類號: H04L41/0803;H04L41/08;H04L41/0823;H04L41/0894;H04L41/12
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 王茂華

一種用于核實網絡意圖的方法可以包括將至少一個網絡意圖分解成多個子核實任務、基于用于多個網絡設備的當前配置的集合生成用于目標網絡中的多個網絡設備的標準化配置的集合以及基于標準化配置的集合和目標網絡的拓撲生成網絡圖。所述方法可以進一步包括分析多個子核實任務和網絡圖，以確定用于多個網絡設備的當前配置的集合是否滿足至少一個網絡意圖。如果至少一個網絡意圖未被滿足，則可以生成指示目標網絡不遵從的報告。如果至少一個網絡意圖被滿足，則可以提供指示目標網絡遵從的信息。

技術領域

本申請涉及一種用于核實網絡意圖的方法和系統。

背景技術

現代網絡包括可以具有多個網絡功能和動態狀態的物理和虛擬兩者的不同種類的網絡設備。已經開發了基于意圖的管理來通過使用網絡意圖管理網絡，這是按照針對目標網絡的“我們需要什么”而不是低水平的實現(即，“如何做”)的商業目標所驅動的期望結果，以增加可擴展性和靈活性。

發明內容

根據一個實施例，用于核實網絡意圖的方法包括：

通過分片和分段所述網絡意圖將至少一個網絡意圖分解成多個子核實任務，其中，所述分片包括確定在所述網絡意圖中在源和目的地節點之間有多少可能的核實任務；

使用數據建模語言基于用于多個網絡設備的當前配置的集合生成用于目標網絡中的多個網絡設備的標準化配置的集合；

基于標準化配置的集合和目標網絡的拓撲生成網絡圖；

分析多個子核實任務和網絡圖，以確定用于多個網絡設備的當前配置的集合是否滿足至少一個網絡意圖；

如果至少一個網絡意圖未被滿足，則生成指示目標網絡不遵從的報告；以及

如果至少一個網絡意圖被滿足，則提供指示目標網絡遵從的信息。

根據一個實施例，用于核實網絡意圖的系統包括：

分解器，其通過分片和分段所述網絡意圖將至少一個網絡意圖分解成多個子核實任務，其中，所述分片包括確定在所述網絡意圖中在源和目的地節點之間有多少可能的核實任務；

配置標準化器，其使用數據建模語言基于用于多個網絡設備的當前配置的集合生成用于目標網絡中的多個網絡設備的標準化配置的集合；

耦合到配置標準化器的網絡圖構建器，所述網絡圖構建器基于標準化配置的集合和目標網絡的拓撲生成網絡圖；

耦合到分解器和網絡圖構建器的SMT解算器，所述SMT解算器分析標準化配置的集合和網絡圖以通過用于多個網絡設備的當前配置的集合確定至少一個網絡意圖的違反；以及

耦合到SMT解算器的違反分析器，所述違反分析器生成標識違反的報告。

附圖說明

下面將通過參考以下附圖描述各種示例：

圖1A是示例網絡意圖核實系統的框圖；

圖1B是用于在狀態性網絡中核實網絡意圖的示例系統的框圖；

圖2是用于在狀態性網絡中核實網絡意圖的方法的示例流程圖；

圖3是使用圖模型的示例網絡意圖；

圖4是用于分解網絡意圖的分段(segmentation)的示例框圖；

圖5是用于網絡配置的標準化的數據建模語言的擴展的示例框圖；

圖6是針對兩個網絡功能的示例網絡圖；以及

圖7是用于分解網絡意圖的分片的示例框圖。