Run-Time Monitoring of Instances and Classes of Web Service Compositions

Abstract

The run-time monitoring of web service compositions has been widely acknowledged as a significant and challenging problem. In this paper, we propose a novel solution to the problem of monitoring web services implemented in BPEL. We devise an architecture that clearly separates the business logic of a web service from its monitoring functionality. The architecture supports both "instance monitors" that deal with the execution of a single instance of BPEL process, as well as "class monitors" that report aggregated information about all the instances of a BPEL process. We also define a language for the specification of instance and class monitors. The language allows for specifying boolean, statistic, and time-related properties. Finally, we devise a technique for the automatic translation of all these kinds of monitors to Java programs. * This work is partially funded by the MIUR-FIRB project RBNE0195K5 "KLASE", "Knowledge Level Automated Software Engineering", by the MIUR-PRIN 2004 project "STRAP", and by the EU-IST project FP6-016004 "SENSORIA".

An Integrated Declarative Approach to Web Services Composition and Monitoring

“…The composition process to handle the crisis should be able to measure and to adapt to continuously changing situation. This leads to the problem of Web services monitoring and the approaches for dealing with Web services monitoring include [1,2,4]. The problem with current monitoring approaches is that they are mostly proposed as a new layer to the procedural approaches such as WS-BPEL.…”

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

“…Some approaches have recently been proposed to verify contracts for web services, as seen in the works of Acciai and Boreale [34], Kuo et al [8], Baresi et al [6], Barbon et al [5], etc. These ideas focus on verifying the behavioral contracts as defined by the externally visible interface of the web services, whereas our work provides a principled, modular technique for verifying such policies that require inspecting the web service implementation to a limited extent.…”

“…Its postcondition is that the result is also positive. These contracts could be checked by observing the interface of the web-methods [5][6][7][8][9]. Demonstrating Compliance to Temporal Policies.…”

Empirical Validation of MoDe4SLA; Approach for Managing Service Compositions

“…Sahai et al [14] aim at automated SLA monitoring by specifying SLAs and not only considering provider side guarantees but focus also on distributed monitoring, taking the client side into account as well. Barbon et al [15] enable run-time monitoring while separating business logic from monitoring functionality. For each process instance a monitor is created.…”