Service Monitoring

Service monitoring allows to detect conditions or violation of properties at run-time. It can be used to detect problems or to report situations of particular interest. It can detect that a property has been violated (e.g., since an external service has been modified) or that a particular sequence of events has occurred (e.g., the user has rejected an offer). We have developed a tool (WS-MON) that, given a property or a situation to be monitored, automatically generates code that can be executed at run time and that can check whether the service execution respects the property or whether the situation is arising.

Some relevant publications: