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.