Abstract: A first device verification model is sent to a first agent on a first device providing at least a portion of the service. The first agent is able to monitor based on the first device verification model a parameter of the first device related to the service. A second device verification model is sent to a second agent on a second device providing at least a portion of the service, wherein the second agent is able to monitor based on the second device verification model a parameter of the second device related to the service. A report is received from the first agent of at least the parameter of the first device. A report is received from the second agent of at least the parameter of the second device. At least the parameter of the first device and at least the parameter of the second device are analyzed to determine whether the service is functioning as intended.

Abstract: Collectors are provided to network devices of an existing computer network. A reference network type associated with the existing computer network is determined. Based at least in part on telemetry and configuration information received from the collectors and the reference network type, an intent-based network model of the existing computer network is generated. The existing computer network is validated using the generated intent-based network model.

Abstract: A set of network requirements is received. At least a portion of the set of network requirements is stored on a system data store. Device requirements for a plurality of network devices are stored on the system data store. At least a portion of the stored device requirements is received at a proxy agent. Native hardware instructions are generated based on the received device requirements to configure at least one of the plurality of network devices.

Abstract: A specification of an intent that identifies a desired service and a reference architecture is received. The desired service is rendered to provide instructions for dispatch to a plurality of devices having roles. Rendering the desired service includes invoking a service rendering program function based on the reference architecture and a role of a specific device. A new reference architecture may be implemented by specifying a new service rendering program function for the new reference architecture.

Abstract: Constraints are stored. A plurality of processing stages is processed. For at least one of the plurality of processing stages, an input declarative requirement is utilized with at least some of the constraints to determine an output declarative requirement that is at a different level than a level of the input declarative requirement. At least a portion of the plurality of processing stages are utilized to at least in part automatically configure a computer network.

Abstract: A fault model representation of a computer network is generated, wherein the computer network includes a set of connected computer network elements that was at least in part configured based on a specified declarative intent in forming the computer network. A symptom representation for the computer network is determined based on telemetry data of one or more elements of the set of connected computer network elements and a behavior specification repository identifying symptoms and their associated root causes. The fault model representation and the symptom representation are provided to a root cause analysis to determine one or more root causes of one or more detected symptoms of the computer network.

Abstract: A method for configuring a computing infrastructure is disclosed. The method comprises representing at least a portion of the computing infrastructure as a graph representation of computing infrastructure elements including a computing infrastructure node and a computing infrastructure edge, detecting a change in the graph representation of computing infrastructure elements, and determining whether the change affects a graph representation query pattern. In the event the change affects the graph representation query pattern, the change is notified to a query agent associated with the graph representation query pattern.

Abstract: In performing network analysis, a first declarative specification and a second declarative specification are received. The first declarative specification specifies a dynamically updating query associated with networking components of a computer network. Dynamically updated results of the dynamically updating query are processed. An indication of a detected anomaly is provided based at least in part on a result of the updated dynamically updated results of the dynamically updating query.

Abstract: A first device verification model is sent to a first agent on a first device providing at least a portion of the service. The first agent is able to monitor based on the first device verification model a parameter of the first device related to the service. A second device verification model is sent to a second agent on a second device providing at least a portion of the service, wherein the second agent is able to monitor based on the second device verification model a parameter of the second device related to the service. A report is received from the first agent of at least the parameter of the first device. A report is received from the second agent of at least the parameter of the second device. At least the parameter of the first device and at least the parameter of the second device are analyzed to determine whether the service is functioning as intended.

Abstract: A first device verification model is sent to a first agent on a first device providing at least a portion of the service. The first agent is able to monitor based on the first device verification model a parameter of the first device related to the service. A second device verification model is sent to a second agent on a second device providing at least a portion of the service, wherein the second agent is able to monitor based on the second device verification model a parameter of the second device related to the service. A report is received from the first agent of at least the parameter of the first device. A report is received from the second agent of at least the parameter of the second device. At least the parameter of the first device and at least the parameter of the second device are analyzed to determine whether the service is functioning as intended.

Abstract: A set of network requirements is received. At least a portion of the set of network requirements is stored on a system data store. Device requirements for a plurality of network devices are stored on the system data store. At least a portion of the stored device requirements is received at a proxy agent. Native hardware instructions are generated based on the received device requirements to configure at least one of the plurality of network devices.

Abstract: A set of network requirements is received. At least a portion of the set of network requirements is stored on a system data store. Device requirements for a plurality of network devices are stored on the system data store. At least a portion of the stored device requirements is received at a proxy agent. Native hardware instructions are generated based on the received device requirements to configure at least one of the plurality of network devices.

Abstract: A specification of an intent that identifies a desired service and a reference architecture is received. The desired service is rendered to provide instructions for dispatch to a plurality of devices having roles. Rendering the desired service includes invoking a service rendering program function based on the reference architecture and a role of a specific device. A new reference architecture may be implemented by specifying a new service rendering program function for the new reference architecture.

Abstract: A specification of an intent that identifies a desired service and a reference architecture is received. The desired service is rendered to provide instructions for dispatch to a plurality of devices having roles. Rendering the desired service includes invoking a service rendering program function based on the reference architecture and a role of a specific device. A new reference architecture may be implemented by specifying a new service rendering program function for the new reference architecture.

Abstract: A fault model representation of a computer network is generated, wherein the computer network includes a set of connected computer network elements that was at least in part configured based on a specified declarative intent in forming the computer network. A symptom representation for the computer network is determined based on telemetry data of one or more elements of the set of connected computer network elements and a behavior specification repository identifying symptoms and their associated root causes. The fault model representation and the symptom representation are provided to a root cause analysis to determine one or more root causes of one or more detected symptoms of the computer network.

Abstract: Constraints are stored. A plurality of processing stages is processed. For at least one of the plurality of processing stages, an input declarative requirement is utilized with at least some of the constraints to determine an output declarative requirement that is at a different level than a level of the input declarative requirement. At least a portion of the plurality of processing stages are utilized to at least in part automatically configure a computer network.

Abstract: Collectors are provided to network devices of an existing computer network. A reference network type associated with the existing computer network is determined. Based at least in part on telemetry and configuration information received from the collectors and the reference network type, an intent-based network model of the existing computer network is generated. The existing computer network is validated using the generated intent-based network model.

Abstract: Constraints are stored. A plurality of processing stages is processed. For at least one of the plurality of processing stages, an input declarative requirement is utilized with at least some of the constraints to determine an output declarative requirement that is at a different level than a level of the input declarative requirement. At least a portion of the plurality of processing stages are utilized to at least in part automatically configure a computer network.

Abstract: In performing network analysis, a first declarative specification and a second declarative specification are received. The first declarative specification specifies a dynamically updating query associated with networking components of a computer network. Dynamically updated results of the dynamically updating query are processed. An indication of a detected anomaly is provided based at least in part on a result of the updated dynamically updated results of the dynamically updating query.

Abstract: In performing network analysis, a declarative specification of a collector element and a declarative specification of a processing element are received. The declarative specification of the collector element specifies a dynamically updating query associated with networking components of a computer network. The processing element dynamically processes dynamically updated results of the dynamically updating query. At least the collector element and the processing element are executed. An indication of a detected anomaly is provided based at least in part on a result of the execution of the collector element and the processing element.