用于服务链的策略保证

摘要

在一些示例中，系统获得网络逻辑模型，并且对于网络中的每个节点，获得节点级逻辑、具体和硬件模型。系统识别服务功能链，并确定服务功能链规则的相应集合。对于每个节点，系统确定在节点级逻辑模型和/或具体模型中是否正确捕获服务功能链规则的相应集合，以产生节点包含检查结果。基于具体模型、硬件模型以及节点级逻辑模型或网络逻辑模型中的至少一个中的策略动作的比较，系统确定是否在每个节点上正确呈现服务功能链规则的相应集合，以产生节点呈现检查结果。基于节点包含检查结果和节点呈现检查结果，系统确定是否正确配置了服务功能链。