The SERMON (A monitoring framework for service systems) methodology uses a tailored approach for specifying service interaction goals. These include: 1) agent service goals and 2) agent protocol goals. Agent service goals describe desired characteristics of an agent’s behavior during the execution of a protocol, for example, “provide timely response to a request”. Agent protocol goals describe desired characteristics of an agent’s behavior as it manages multiple protocols simultaneously, for example, “abandon a protocol execution that may not result in a commitment”. Based on the goal model, monitors are compiled and the monitoring system is deployed. The monitor updates the runtime status of the goals during the execution of target software system.