Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension

The execution of composite web services with WS-BPEL relies on externally autonomous Web services. This implies the need to constantly monitor the running behavior of the involved parties. Moreover, monitoring the execution of such processes is critical to enforce business policies and meet reliability goals. This paper proposes a stateful aspect extension to WS-BPEL, as a solution to support flexible behavior pattern monitoring for composite Web services. Specifically, in the stateful aspect, history-based pointcut specifies the pattern of interest within a range, while advice describes the associated action to manage the process if the specified pattern occurs. We also present its implementation based on finite state automata through runtime weaving mechanism. Our experiments indicate the proposed monitoring approach incurs minimal overhead.

[1]  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).

[2]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[3]  Hugh C. Davis,et al.  The Service Responsibility and Interaction Design Method: Using an Agile Approach for Web Service Design , 2007, ECOWS 2007.

[4]  Luciano Baresi,et al.  Towards Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[5]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[6]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[7]  Ann Q. Gates,et al.  A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.

[8]  Abdelkarim Erradi,et al.  Recovery Policies for Enhancing Web Services Reliability , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[9]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[10]  Wim Vanderperren,et al.  Stateful Aspects in JAsCo , 2005, SC@ETAPS.

[11]  Robert E. Filman,et al.  Source-Code Instrumentation and Quantification of Events , 2002 .

[12]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[13]  Qing Li,et al.  A Declarative Approach to Enhancing the Reliability of BPEL Processes , 2007, IEEE International Conference on Web Services (ICWS 2007).

[14]  Oege de Moor,et al.  On the Semantics of Matching Trace Monitoring Patterns , 2007, RV.

[15]  Mira Mezini,et al.  AO4BPEL: An Aspect-oriented Extension to BPEL , 2007, World Wide Web.

[16]  Ondrej Lhoták,et al.  Aspects for Trace Monitoring , 2006, FATES/RV.

[17]  Ondrej Lhoták,et al.  Adding trace matching with free variables to AspectJ , 2005, OOPSLA '05.

[18]  Luciano Baresi,et al.  Policies and Aspects for the Supervision of BPEL Processes , 2007, CAiSE.

[19]  Abdelkarim Erradi,et al.  WS-Policy4MASC - A WS-Policy Extension Used in the MASC Middleware , 2007, IEEE International Conference on Services Computing (SCC 2007).

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

[21]  C. Courbis,et al.  Towards aspect weaving applications , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[22]  Robert J. Walker,et al.  Implementing protocols via declarative event patterns , 2004, SIGSOFT '04/FSE-12.

[23]  Mathieu Braem,et al.  History-Based Aspect Weaving for WS-BPEL Using Padus , 2007, Fifth European Conference on Web Services (ECOWS'07).

[24]  George S. Avrunin,et al.  PROPEL: an approach supporting property elucidation , 2002, ICSE '02.