Event generation in response to network intent formal equivalence failures

• US 10,547,715 B2
• Filed: 07/28/2017
• Issued: 01/28/2020
• Est. Priority Date: 06/16/2017
• Status: Active Grant

• Current Assignee: Cisco Technology, Inc. (Cisco Systems, Inc.)
• Original Assignee: Cisco Technology, Inc. (Cisco Systems, Inc.)
• Inventors: Dixit, Advait, Kompella, Ramana Rao
• Primary Examiner(s): Patel, Chirag R
• Assistant Examiner(s): McLeod, Marshall M
• Application Number:
  US15/662,906
• Publication Number:
  US 20180367652A1
• Time in Patent Office: 914 Days
• Field of Search: 709201, 709204, 709208, 709220, 709223
• CPC Class Codes: H04L 41/0654 using network fault recovery ring fault isolation or reconfiguration in loop networks without recovery actions by a network management system H04L12/437
• CPC Class Codes: H04L 41/0681 Configuration of triggering conditions
• CPC Class Codes: H04L 41/0893 Assignment of logical groups to network elements
• CPC Class Codes: H04L 41/12 Discovery or management of network topologies
• CPC Class Codes: H04L 41/145 involving simulating, designing, planning or modelling of a network
• CPC Class Codes: H04L 45/22 Alternate routing
• CPC Class Codes: H04L 45/28 using route fault recovery
• CPC Class Codes: H04L 67/535 Tracking the activity of the user network monitoring arrangements H04L43/00; recording of computer activity G06F11/34
• CPC Class Codes: H04L 69/40 for recovering from a failure of a protocol instance or entity, e.g. service redundancy protocols, protocol state redundancy or protocol service redirection management of faults, events, alarms or notifications in data switching networks H04L41/06

Abstract

Systems, methods, and computer-readable media for receiving an indication of an equivalence failure, the equivalence failure corresponding to one or more models of network intents. The indication of the equivalence failure is analyzed and one or more constituent intents that caused the equivalence failure are identified, wherein the one or more constituent intents are associated with a model of the one or more models of network intents. The granularity of the equivalence failure and the identified one or more constituent intents is determined, and an event for external consumption is generated, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents.

Claims

1. A method comprising:

receiving an indication of an equivalence failure, the equivalence failure corresponding to one or more models of network intents;

analyzing the indication of the equivalence failure and the one or more models of network intents and identifying one or more constituent intents that caused the equivalence failure;

determining the granularity of the equivalence failure and the identified one or more constituent intents; and

generating an event for external consumption, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents;

wherein the equivalence failure corresponds to a failure of a semantic analysis of the constituent intents of a first model of network intents, and the indication comprises a listing of completely and partially shadowed rules of the first model of network intents.

2. The method of claim 1, wherein the equivalence failure corresponds to a failure of a formal equivalence analysis of a first model of network intents and a second model of network intents, and the indication comprises a listing of conflict rules between the first model of network intents and the second model of network intents.

3. The method of claim 1, wherein the equivalence failure corresponds to a comparison of the outcome of a formal equivalence analysis of a first model of network intents and a second model of network intents to the outcome of a formal equivalence analysis of the first model of network intents and a third model of network intents, and the indication comprises the pair of outcomes.

4. The method of claim 3, wherein the first model is a logical model of network intents, the second model is a concrete model of network intents, and the third model is a hardware model of network intents.

5. The method of claim 1, wherein the granularity of the equivalence failure is based on one or more of a provider EPG, consumer EPG, contract, subject, filter, or filterEntry.

6. The method of claim 1, wherein generating an event for external consumption further comprises determining a suggested fix corresponding to the equivalence failure of the event.

7. A system comprising:

one or more processors; and

at least one computer-readable storage medium having stored therein instructions which, when executed by the one or more processors, cause the system to;

receive an indication of an equivalence failure, the equivalence failure corresponding to one or more models of network intents;

analyze the indication of the equivalence failure and identify one or more constituent intents that caused the equivalence failure, wherein the one or more constituent intents are associated with a model of the one or more models of network intents;

determine the granularity of the equivalence failure and the identified one or more constituent intents; and

generate an event for external consumption, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents;

wherein the equivalence failure corresponds to a failure of a semantic analysis of the constituent intents of a first model of network intents, and the indication comprises a listing of completely and partially shadowed rules of the first model of network intents.

8. The system of claim 7, wherein the equivalence failure corresponds to a failure of a formal equivalence analysis of a first model of network intents and a second model of network intents, and the indication comprises a listing of conflict rules between the first model of network intents and the second model of network intents.

9. The system of claim 7, wherein the equivalence failure corresponds to a comparison of the outcome of a formal equivalence analysis of a first model of network intents and a second model of network intents to the outcome of a formal equivalence analysis of the first model of network intents and a third model of network intents, and the indication comprises the pair of outcomes.

10. The system of claim 9, wherein the first model is a logical model of network intents, the second model is a concrete model of network intents, and the third model is a hardware model of network intents.

11. The system of claim 7, wherein the granularity of the equivalence failure is based on one or more of a provider EPG, consumer EPG, contract, subject, filter, or filterEntry.

12. The system of claim 7, wherein generating an event for external consumption further comprises instructions which cause the system to determine a suggested fix corresponding to the equivalence failure of the event.

13. A non-transitory computer-readable storage medium comprising:

instructions stored therein instructions which, when executed by one or more processors, cause the one or more processors to;

receive an indication of an equivalence failure, the equivalence failure corresponding to one or more models of network intents;

analyze the indication of the equivalence failure and identify one or more constituent intents that caused the equivalence failure, wherein the one or more constituent intents are associated with a model of the one or more models of network intents;

determine the granularity of the equivalence failure and the identified one or more constituent intents; and

generate an event for external consumption, the event based at least in part on the equivalence failure, the granularity of the equivalence failure, and the identified one or more constituent intents;

wherein the equivalence failure corresponds to a failure of a semantic analysis of the constituent intents of a first model of network intents, and the indication comprises a listing of completely and partially shadowed rules of the first model of network intents.

14. The non-transitory computer-readable storage medium of claim 13, wherein the equivalence failure corresponds to a failure of a formal equivalence analysis of a first model of network intents and a second model of network intents, and the indication comprises a listing of conflict rules between the first model of network intents and the second model of network intents.

15. The non-transitory computer-readable storage medium of claim 13, wherein the equivalence failure corresponds to a comparison of the outcome of a formal equivalence analysis of a first model of network intents and a second model of network intents to the outcome of a formal equivalence analysis of the first model of network intents and a third model of network intents, and the indication comprises the pair of outcomes.

16. The non-transitory computer-readable storage medium of claim 15, wherein the first model is a logical model of network intents, the second model is a concrete model of network intents, and the third model is a hardware model of network intents.

17. The non-transitory computer-readable storage medium of claim 13, wherein generating an event for external consumption further comprises instructions which cause the one or more processors to determine a suggested fix corresponding to the equivalence failure of the event.