Recherche dans les collections de brevets nationales et internationales

1. (WO2018222485) VÉRIFICATIONS DE SPÉCIFICATION D'INTENTION POUR DES INCOHÉRENCES

Pub. No.:    WO/2018/222485    International Application No.:    PCT/US2018/034309
Publication Date: Fri Dec 07 00:59:59 CET 2018 International Filing Date: Fri May 25 01:59:59 CEST 2018
IPC: H04L 12/24
Applicants: CISCO TECHNOLOGY, INC.
Inventors: MOHANRAM, Kartik
NAGARAJAN, Chandra
DIXIT, Advait
KOMPELLA, Ramana, Rao
Title: VÉRIFICATIONS DE SPÉCIFICATION D'INTENTION POUR DES INCOHÉRENCES
Abstract:
L'invention concerne des systèmes, des procédés et des supports lisibles par ordinateur destinés à des vérifications de spécification d'intention. Dans un exemple, un système obtient, à partir d'un ou plusieurs dispositifs de commande dans un réseau défini par logiciel, un modèle logique du réseau défini par logiciel, le modèle logique comprenant des configurations d'un ou de plusieurs objets dans une arborescence d'informations de gestion hiérarchique qui définit des objets pouvant être gérées et des propriétés d'objet pour le réseau défini par logiciel. Sur la base de l'arborescence d'informations de gestion hiérarchique, le système effectue une analyse de politique de configurations dans le modèle logique et détermine, sur la base de l'analyse de politique, si les configurations dans le modèle logique contiennent une ou plusieurs erreurs.