1.一种方法,包括:
获得与网络相关联的多个模型,所述多个模型包括:
表示针对所述网络定义的规则的网络范围的逻辑模型;
针对所述网络中每个节点的相应节点级逻辑模型,所述相应节点级逻辑模型至少包括针对所述网络范围的逻辑模型定义的规则的一部分,所述规则的所述一部分包括针对所述网络范围的逻辑模型定义的所述规则中对应于所述节点的那些规则;
针对所述网络中每个节点的相应具体模型,其中所述相应具体模型包括在所述节点的软件环境方面的软件呈现的规则;以及
针对所述网络中每个节点的相应硬件模型,其中所述相应硬件模型包括在所述节点的硬件方面的硬件呈现的规则;
基于所述多个模型,识别所述网络中的预期服务功能链;
基于所述多个模型中的至少一个模型中的相应规则,针对所述预期服务功能链确定预期服务功能链规则的相应集合,这些相应规则对应于与所述预期服务功能链中的一个或多个元素相关联的一个或多个端点组;
对于每个节点,确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获,以产生针对所述节点的相应节点级包含检查结果;
基于对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、和相应硬件模型中的相应策略动作的比较,确定与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合是否在每个节点上被正确地呈现,以产生节点级呈现检查结果;以及
基于相应节点级包含检查结果和节点级呈现检查结果,确定所述预期服务功能链是否在所述网络上被正确地配置。
2.如权利要求1所述的方法,还包括:
聚合针对每个节点的相应节点级包含检查结果,以产生针对所述预期服务功能链的网络范围的包含检查结果;
聚合针对每个节点的节点级呈现检查结果,以产生针对所述预期服务功能链的网络范围的呈现检查结果;并且
其中,确定所述预期服务功能链是否在所述网络上被正确地配置是基于所述网络范围的包含检查结果和所述网络范围的呈现检查结果进行的。
3.如权利要求1或2所述的方法,还包括:
分析每个节点的相应路由信息库(rib);以及
基于每个节点的rib,确定与对应于所述预期服务功能链的分组相关联的路由配置是否保证所述分组被路由到所述预期服务功能链而不绕过所述预期服务功能链中的一个或多个服务功能。
4.如权利要求3所述的方法,还包括:
在以下情况下确定所述预期服务功能链在所述网络上被正确地配置:
所述网络范围的包含检查结果表明,对于每个节点,预期服务功能链规则的相应集合被相应节点级逻辑模型和相应具体模型中的至少一个模型中的所有相应规则正确地捕获;
所述网络范围的呈现检查结果表明,与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合在每个节点上被正确地呈现;以及
与对应于所述预期服务功能链的分组相关联的所述路由配置被确定为保证所述分组被路由到所述预期服务功能链,而不绕过所述预期服务功能链中的一个或多个服务功能。
5.如权利要求1至4中任一项所述的方法,其中,确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获包括:
生成表示以下各项的相应数据结构:所述预期服务功能链规则的相应集合、以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则;以及
比较所述相应数据结构以确定所述相应数据结构之间的等效性结果。
6.如权利要求5所述的方法,其中,所述相应数据结构包括相应简化有序二元决策图,并且其中确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获包括:
当所述等效性结果表明所述相应简化有序二元决策图匹配时,确定所述预期服务功能链规则的相应集合被正确地捕获;以及
当所述等效性结果表明所述相应简化有序二元决策图不匹配时,确定所述预期服务功能链规则的相应集合未被正确地捕获。
7.如权利要求5或6所述的方法,其中,所述相应简化有序二元决策图是基于相应布尔函数来构造的,该相应布尔函数是根据以下各项生成的:所述预期服务功能链规则的相应集合中的每个预期服务功能链规则、以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的每个相应规则。
8.如权利要求7所述的方法,其中,来自所述相应布尔函数的每个布尔函数表示如下项中的相应规则:所述预期服务功能链规则的相应集合、以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型。
9.如权利要求1至8中任一项所述的方法,其中,对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、以及相应硬件模型中的相应策略动作的比较包括:在针对所述相应策略动作构造的相应数据结构之间进行等效性检查。
10.如权利要求9所述的方法,其中,确定与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合是否在每个节点上被正确地呈现包括:
当所述等效性检查表明针对所述相应策略动作所构造的相应数据结构之间匹配时,确定所述预期服务功能链规则的相应集合在每个节点上被正确地呈现。
11.一种系统,包括:
一个或多个处理器;以及
至少一个计算机可读存储介质,其中存储有指令,当所述指令由所述一个或多个处理器执行时,使得所述系统进行以下操作:
获得与网络相关联的多个模型,所述多个模型包括:
表示针对所述网络定义的规则的网络范围的逻辑模型;
针对所述网络中每个节点的相应节点级逻辑模型,所述相应节点级逻辑模型至少包括针对所述网络范围的逻辑模型定义的规则的一部分,所述规则的所述一部分包括针对所述网络范围的逻辑模型定义的所述规则中对应于所述节点的那些规则;
针对所述网络中每个节点的相应具体模型,其中所述相应具体模型包括在所述节点的软件环境方面的软件呈现的规则;以及
针对所述网络中每个节点的相应硬件模型,其中所述相应硬件模型包括在所述节点的硬件方面的硬件呈现的规则;
基于所述多个模型,识别所述网络中的预期服务功能链;
基于所述多个模型中的至少一个模型中的相应规则,针对所述预期服务功能链确定预期服务功能链规则的相应集合,这些相应规则对应于与所述预期服务功能链中的一个或多个元素相关联的一个或多个端点组;
对于每个节点,确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获,以产生针对所述节点的相应节点级包含检查结果;
基于对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、以及相应硬件模型中的相应策略动作的比较,确定与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合是否在每个节点上被正确地呈现,以产生节点级呈现检查结果;以及
基于相应节点级包含检查结果和节点级呈现检查结果,确定所述预期服务功能链是否在所述网络上被正确地配置。
12.如权利要求11所述的系统,所述至少一个计算机可读存储介质存储有附加指令,当所述附加指令由所述一个或多个处理器执行时,使得所述系统进行以下操作:
聚合针对每个节点的相应节点级包含检查结果,以产生针对所述预期服务功能链的网络范围的包含检查结果;
聚合针对每个节点的节点级呈现检查结果,以产生针对所述预期服务功能链的网络范围的呈现检查结果;并且
其中,确定所述预期服务功能链是否在所述网络上被正确地配置是基于所述网络范围的包含检查结果和所述网络范围的呈现检查结果进行的。
13.如权利要求11或12所述的系统,所述至少一个计算机可读存储介质存储有附加指令,当所述附加指令由所述一个或多个处理器执行时,使得所述系统进行以下操作:
分析每个节点的相应路由信息库(rib);以及
基于每个节点的rib,确定与对应于所述预期服务功能链的分组相关联的路由配置是否保证所述分组被路由到所述预期服务功能链而不绕过所述预期服务功能链中的一个或多个服务功能。
14.如权利要求13所述的系统,所述至少一个计算机可读存储介质存储有附加指令,当所述附加指令由所述一个或多个处理器执行时,使得所述系统进行以下操作:
在以下情况下确定所述预期服务功能链在所述网络上被正确地配置:
所述网络范围的包含检查结果表明,对于每个节点,预期服务功能链规则的相应集合被相应节点级逻辑模型和相应具体模型中的至少一个模型中的所有相应规则正确地捕获;
所述网络范围的呈现检查结果表明,与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合在每个节点上被正确地呈现;以及
与对应于所述预期服务功能链的分组相关联的路由配置被确定为保证所述分组被路由到所述预期服务功能链,而不绕过所述预期服务功能链中的一个或多个服务功能。
15.如权利要求11至14中任一项所述的系统,其中,确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获包括:
生成表示以下各项的相应数据结构:所述预期服务功能链规则的相应集合、以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则;以及
比较所述相应数据结构以确定所述相应数据结构之间的等效性结果。
16.如权利要求15所述的系统,其中,所述相应数据结构包括相应简化有序二元决策图,并且其中确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获包括:
当所述等效性结果表明所述相应简化有序二元决策图匹配时,确定所述预期服务功能链规则的相应集合被正确地捕获;以及
当所述等效性结果表明所述相应简化有序二元决策图不匹配时,确定所述预期服务功能链规则的相应集合未被正确地捕获。
17.如权利要求16所述的系统,其中,所述相应简化有序二元决策图是基于相应布尔函数来构造的,所述相应布尔函数是根据所述预期服务功能链规则的相应集合中的每个预期服务功能链规则以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的每个相应规则生成的,其中每个布尔函数表示如下项中的相应规则:所述预期服务功能链规则的相应集合、以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型。
18.如权利要求11至17中任一项所述的系统,其中,对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、以及相应硬件模型中的相应策略动作的比较包括:在针对所述相应策略动作构造的相应数据结构之间进行等效性检查,
并且其中确定预期服务功能链规则的相应集合是否在每个节点上被正确地呈现包括:
当所述等效性检查表明针对所述相应策略动作构造的相应数据结构之间匹配时,确定所述预期服务功能链规则的相应集合在每个节点上被正确地呈现。
19.一种非暂时性计算机可读存储介质,包括:
存储在所述非暂时性计算机可读存储介质中的指令,当所述指令由一个或多个处理器执行时,使得所述一个或多个处理器进行以下操作:
获得与网络相关联的多个模型,所述多个模型包括:
表示针对所述网络定义的规则的网络范围的逻辑模型;
针对所述网络中每个节点的相应节点级逻辑模型,所述相应节点级逻辑模型至少包括针对所述网络范围的逻辑模型定义的规则的一部分,所述规则的所述一部分包括针对所述网络范围的逻辑模型定义的所述规则中对应于所述节点的那些规则;
针对所述网络中每个节点的相应具体模型,其中所述相应具体模型包括在所述节点的软件环境方面的软件呈现的规则;以及
针对所述网络中每个节点的相应硬件模型,其中所述相应硬件模型包括在所述节点的硬件方面的硬件呈现的规则;
基于所述多个模型,识别所述网络中的预期服务功能链;
基于所述多个模型中的至少一个模型中的相应规则,针对所述预期服务功能链确定预期服务功能链规则的相应集合,这些相应规则对应于与所述预期服务功能链中的一个或多个元素相关联的一个或多个端点组;
对于每个节点,确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获,以产生针对所述节点的相应节点级包含检查结果;
基于对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、以及相应硬件模型中的相应策略动作的比较,确定与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合是否在每个节点上被正确地呈现,以产生节点级呈现检查结果;以及
基于相应节点级包含检查结果和节点级呈现检查结果,确定所述预期服务功能链是否在所述网络上被正确地配置。
20.如权利要求19所述的非暂时性计算机可读存储介质,其中,对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、以及相应硬件模型中的相应策略动作的比较包括:在针对所述相应策略动作构造的相应数据结构之间进行等效性检查,
并且其中确定预期服务功能链规则的相应集合是否在每个节点上被正确地呈现包括:
当所述等效性检查表明针对所述相应策略动作构造的相应数据结构之间匹配时,确定所述预期服务功能链规则的相应集合在每个节点上被正确地呈现。
21.如权利要求20所述的非暂时性计算机可读存储介质,其中,确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获包括:
生成表示所述预期服务功能链规则的相应集合以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则的相应简化有序二元决策图,其中所述相应简化有序二元决策图是基于相应布尔函数来生成的,每个相应布尔函数表示来自以下各项中的至少一者的规则:所述预期服务功能链规则的相应集合、所述相应节点级逻辑模型、和所述相应具体模型;以及
比较所述相应简化有序二元决策图以确定所述相应简化有序二元决策图是否匹配。
22.一种装置,包括:
用于获得与网络相关联的多个模型的构件,所述多个模型包括:
表示针对所述网络定义的规则的网络范围的逻辑模型;
针对所述网络中每个节点的相应节点级逻辑模型,所述相应节点级逻辑模型至少包括针对所述网络范围的逻辑模型定义的规则的一部分,所述规则的所述一部分包括针对所述网络范围的逻辑模型定义的所述规则中对应于所述节点的那些规则;
针对所述网络中每个节点的相应具体模型,其中所述相应具体模型包括在所述节点的软件环境方面的软件呈现的规则;以及
针对所述网络中每个节点的相应硬件模型,其中所述相应硬件模型包括在所述节点的硬件方面的硬件呈现的规则;
用于基于所述多个模型来识别所述网络中的预期服务功能链的构件;
用于基于所述多个模型中的至少一个模型中的相应规则来针对所述预期服务功能链确定预期服务功能链规则的相应集合的构件,这些相应规则对应于与所述预期服务功能链中的一个或多个元素相关联的一个或多个端点组;
用于对于每个节点进行以下操作的构件:确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获,以产生针对所述节点的相应节点级包含检查结果;
用于进行以下操作的构件:基于对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、以及相应硬件模型中的相应策略动作的比较,确定与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合是否在每个节点上被正确地呈现,以产生节点级呈现检查结果;以及
用于基于相应节点级包含检查结果和节点级呈现检查结果来确定所述预期服务功能链是否在所述网络上被正确地配置的构件。
23.如权利要求22所述的装置,还包括用于实现如权利要求2至10中任一项所述的方法的构件。
24.一种计算机程序、计算机程序产品或计算机可读介质,包括指令,当所述指令由计算机执行时,使得所述计算机执行如权利要求1至10中任一项所述的方法的步骤。