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 network is configured. Constraints are stored. A plurality of processing stages is processed. For at least one of the plurality of processing stages, an application agent utilizes an input declarative requirement with at least some of the constraints to determine an output declarative requirement that is at a lower level than a level of the input declarative requirement. Each processing stage corresponds to an interaction agent that is able to specify the input declarative requirement for that stage.

Abstract: A first device verification model is sent to a first proxy agent on a first device providing at least a portion of the service. The first proxy 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 proxy agent on a second device providing at least a portion of the service, wherein the second proxy 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 proxy agent of at least the parameter of the first device. A report is received from the second proxy 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 compared to determine whether the service is functioning as intended.

Abstract: A network is configured. Constraints are stored. A plurality of processing stages is processed. For at least one of the plurality of processing stages, an application agent utilizes an input declarative requirement with at least some of the constraints to determine an output declarative requirement that is at a lower level than a level of the input declarative requirement. Each processing stage corresponds to an interaction agent that is able to specify the input declarative requirement for that stage.

Abstract: A network is configured. Constraints are stored. A plurality of processing stages is processed. For at least one of the plurality of processing stages, an application agent utilizes an input declarative requirement with at least some of the constraints to determine an output declarative requirement that is at a lower level than a level of the input declarative requirement. Each processing stage corresponds to an interaction agent that is able to specify the input declarative requirement for that stage.

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: 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: Configuring a network is disclosed. A set of network requirements is received at an interaction agent. At least a portion of the set of network requirements is published to a system data store. The published network requirements are received at an application agent. The application agent has subscribed to the published network requirements published in the system data store. Device requirements for a plurality of network devices are published to the system data store. At least a portion of the published 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.