Businesses that rely on web services are vulnerable to the problems of those web services. Service contracts and warranties can provide some assurances. However, they provide traditional recource, rather than timely alerts of impending problems. While electronic commerce has increased the speed of on-line transactions, the technology of monitoring on-line transactions has lagged behind.

To address the problem of web service monitoring, we integrated methods of requirements analysis and software execution monitoring. The resulting system assists analysts in the development of web service requirements monitors.

The work presented here builds on prior research by: (1) building on a goal-based method for obstacle discovery, (2) illustrating the derivation of assigned monitors from obstacles, and (3) automatically deriving web service monitors from high-level requirements descriptions. The framework, and tool, provides an important contribution by demonstrating how distributed concurrent web service transactions can be monitored at the requirements level.