[发明专利]用于服务链的策略保证

权利要求书

1.一种方法，包括：

获得与网络相关联的多个模型，所述多个模型包括：

表示针对所述网络定义的规则的网络范围的逻辑模型；

针对所述网络中每个节点的相应节点级逻辑模型，所述相应节点级逻辑模型至少包括针对所述网络范围的逻辑模型定义的规则的一部分，所述规则的所述一部分包括针对所述网络范围的逻辑模型定义的所述规则中对应于所述节点的那些规则；

针对所述网络中每个节点的相应具体模型，其中所述相应具体模型包括在所述节点的软件环境方面的软件呈现的规则；以及

针对所述网络中每个节点的相应硬件模型，其中所述相应硬件模型包括在所述节点的硬件方面的硬件呈现的规则；

基于所述多个模型，识别所述网络中的预期服务功能链；

基于所述多个模型中的至少一个模型中的相应规则，针对所述预期服务功能链确定预期服务功能链规则的相应集合，这些相应规则对应于与所述预期服务功能链中的一个或多个元素相关联的一个或多个端点组；

对于每个节点，确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获，以产生针对所述节点的相应节点级包含检查结果；

基于对相应节点级逻辑模型和所述网络范围的逻辑模型中的至少一个模型、相应具体模型、和相应硬件模型中的相应策略动作的比较，确定与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合是否在每个节点上被正确地呈现，以产生节点级呈现检查结果；以及

基于相应节点级包含检查结果和节点级呈现检查结果，确定所述预期服务功能链是否在所述网络上被正确地配置。

2.如权利要求1所述的方法，还包括：

聚合针对每个节点的相应节点级包含检查结果，以产生针对所述预期服务功能链的网络范围的包含检查结果；

聚合针对每个节点的节点级呈现检查结果，以产生针对所述预期服务功能链的网络范围的呈现检查结果；并且

其中，确定所述预期服务功能链是否在所述网络上被正确地配置是基于所述网络范围的包含检查结果和所述网络范围的呈现检查结果进行的。

3.如权利要求2所述的方法，还包括：

分析每个节点的相应路由信息库(RIB)；以及

基于每个节点的RIB，确定与对应于所述预期服务功能链的分组相关联的路由配置是否保证所述分组被路由到所述预期服务功能链而不绕过所述预期服务功能链中的一个或多个服务功能。

4.如权利要求3所述的方法，还包括：

在以下情况下确定所述预期服务功能链在所述网络上被正确地配置：

所述网络范围的包含检查结果表明，对于每个节点，预期服务功能链规则的相应集合被相应节点级逻辑模型和相应具体模型中的至少一个模型中的所有相应规则正确地捕获；

所述网络范围的呈现检查结果表明，与所述网络范围的逻辑模型相关联的预期服务功能链规则的相应集合在每个节点上被正确地呈现；以及

与对应于所述预期服务功能链的分组相关联的所述路由配置被确定为保证所述分组被路由到所述预期服务功能链，而不绕过所述预期服务功能链中的一个或多个服务功能。

5.如权利要求1至4中任一项所述的方法，其中，确定与相应节点级逻辑模型和相应具体模型中的至少一个模型相关联的预期服务功能链规则的相应集合是否被所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则正确地捕获包括：

生成表示以下各项的相应数据结构：所述预期服务功能链规则的相应集合、以及所述相应节点级逻辑模型和所述相应具体模型中的所述至少一个模型中的所有相应规则；以及

比较所述相应数据结构以确定所述相应数据结构之间的等效性结果。