Automatic Monitoring of SLAs of Web Services

The distributed nature of web services, absence of a single stakeholder and the resulting fact that there is no control on the individual web services makes it difficult to ensure that the computation underlying the web service composition proceeds as intended. Thus, it is essential to monitor the computations at runtime to satisfy the needs of the user safety and QoS properties. In this paper, we describe the design and development of a runtime monitor which executes concurrently with the runtime system of a web service orchestration language. The monitoring property, is specified either as wanted/unwanted scenarios [19] or specified as a formula using a subset of temporal logic called SL [14]. From the given properties, we derive the observers as reactive automata using a synchronous framework and integrate them with the underlying engine of the web service specification language, for our implementation, we have used Orc [3]. We illustrate our implementation through examples of monitoring various web service properties.

[1]  George Spanoudakis,et al.  A framework for requirents monitoring of service based systems , 2004, ICSOC '04.

[2]  Wolfgang Emmerich,et al.  Efficient online monitoring of web-service SLAs , 2008, SIGSOFT '08/FSE-16.

[3]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[4]  Nicolas Halbwachs,et al.  An executable temporal logic to express safety properties and its connection with the language Lustr , 1993 .

[5]  S. Ramesh,et al.  Communicating reactive processes , 1993, POPL '93.

[6]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[7]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[8]  Jayadev Misra,et al.  Workflow Patterns in Orc , 2006, COORDINATION.

[9]  Jayadev Misra,et al.  Computation Orchestration , 2007, Software & Systems Modeling.

[10]  G. Spanoudakis,et al.  A Framework for Requirements Monitoring of Service Based Systems , 2004 .

[11]  Luciano Baresi,et al.  Dynamo + Astro: An Integrated Approach for BPEL Monitoring , 2009, 2009 IEEE International Conference on Web Services.

[12]  J. Misra.  Computation Orchestration : A Basis for Wide-Area Computing , 2005 .

[13]  R. K. Shyamasundar,et al.  MSC/sup +/: From requirement to prototyped systems , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[14]  Luciano Baresi,et al.  A dynamic and reactive approach to the supervision of BPEL processes , 2008, ISEC '08.

[15]  Asit Dan,et al.  Cremona: an architecture and library for creation and monitoring of WS-agreents , 2004, ICSOC '04.

[16]  Julie Waterhouse,et al.  Runtime monitoring of web service conversations , 2007, CASCON.

[17]  Wil M. P. van der Aalst,et al.  Conformance checking of service behavior , 2008, TOIT.

[18]  Schahram Dustdar,et al.  Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.

[19]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .