Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2018222479) IDENTIFICATION DE RÈGLES DE CONFLIT EN CAS D'ABSENCE D'ÉQUIVALENCE FORMELLE D'INTENTIONS DE RÉSEAU
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/222479 N° de la demande internationale : PCT/US2018/034292
Date de publication : 06.12.2018 Date de dépôt international : 24.05.2018
CIB :
H04L 29/06 (2006.01)
H ÉLECTRICITÉ
04
TECHNIQUE DE LA COMMUNICATION ÉLECTRIQUE
L
TRANSMISSION D'INFORMATION NUMÉRIQUE, p.ex. COMMUNICATION TÉLÉGRAPHIQUE
29
Dispositions, appareils, circuits ou systèmes non couverts par un seul des groupes H04L1/-H04L27/135
02
Commande de la communication; Traitement de la communication
06
caractérisés par un protocole
Déposants :
CISCO TECHNOLOGY, INC. [US/US]; 170 West Tasman Drive San Jose, CA 95134, US
Inventeurs :
MOHANRAM, Kartik; US
Mandataire :
ROSSI, Juan; US
Données relatives à la priorité :
15/693,22031.08.2017US
62/513,03731.05.2017US
Titre (EN) IDENTIFICATION OF CONFLICT RULES IN A NETWORK INTENT FORMAL EQUIVALENCE FAILURE
(FR) IDENTIFICATION DE RÈGLES DE CONFLIT EN CAS D'ABSENCE D'ÉQUIVALENCE FORMELLE D'INTENTIONS DE RÉSEAU
Abrégé :
(EN) Systems, methods, and computer-readable media for identifying conflict rules between models of network intents. A first and second model of network intents are obtained, the models describing the operation and communication between one or more network devices in a network. A logical exclusive disjunction between the first and second models is calculated over the space of possible packet conditions and network actions defined by models, without enumerating all possible packet conditions and network actions. It is detected whether the models are in conflict with respect to at least a first network device. If the models are in conflict, it is determined whether a given rule of a plurality of rules associated with the first model is a conflict rule. The determining comprises calculating the intersection between the given rule and the logical exclusive disjunction, wherein the given rule is a conflict rule if the calculated intersection is non-zero.
(FR) L'invention concerne des systèmes, des procédés et des supports lisibles par ordinateur d'identification de règles de conflit entre des modèles d'intentions de réseau. Un procédé d'après l'invention comprend les étapes consistant à : obtenir des premier et second modèles d'intentions de réseau, les modèles décrivant le fonctionnement et la communication entre un ou plusieurs dispositifs de réseau dans un réseau ; calculer une disjonction exclusive logique entre les premier et second modèles sur l'espace de conditions de paquets et d'actions de réseau possibles définies par les modèles, sans énumérer toutes les conditions de paquets et actions de réseau possibles ; détecter si les modèles sont en conflit par rapport à au moins un premier dispositif de réseau ; et le cas échéant, déterminer si une règle donnée parmi une pluralité de règles associées au premier modèle est une règle de conflit. La détermination suppose le calcul de l'intersection entre la règle donnée et la disjonction exclusive logique. La règle donnée est une règle de conflit si l'intersection calculée est non nulle.
front page image
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)