A runtime monitoring and validation framework for Web service interactions

Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ensure that the services can work together towards the overall application goals. In particular, the interaction protocols of a service need to be implemented and used properly so that the service composition can conduct itself in an orderly fashion. In our previous work, we have proposed a lightweight, pattern/constraint-based approach to specifying service interaction protocols. It has been incorporated into OWL-S for service developers to describe service interaction constraints. In this paper, we present a framework for monitoring the run-time interaction behaviour of Web services and validating the behaviour against their pre-defined interaction constraints. The framework involves interception of service interactions/messages, representation of interaction constraints using finite state automata, and conformance checking of service interactions against interaction constraints. As such, the framework provides a useful tool for validating the implementation and use of services regarding their interaction behaviour

[1]  Marcus Venzke.  Specifications using XQuery Expressions on Traces , 2004, Electron. Notes Theor. Comput. Sci..

[2]  Jos de Bruijn,et al.  Semantic Web Services: description requirements and current technologies , 2003 .

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

[4]  Paul Strooper.  Proceedings of the 2005 Australian Software Engineering Conference , 2004 .

[5]  Raymond Louis Plante,et al.  Declarative Metadata Processing with XML and Java , 2001 .

[6]  Heiko Ludwig,et al.  Defining and Monitoring Service-Level Agreements for Dynamic e-Business , 2002, LISA.

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

[8]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[9]  Jun Han,et al.  Runtime validation of behavioural contracts for component software , 2005, Fifth International Conference on Quality Software (QSIC'05).

[10]  Jun Han,et al.  Consistency and interoperability checking for component interaction rules , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[11]  Luciano Baresi,et al.  Smart monitors for composed services , 2004, ICSOC '04.

[12]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[13]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[14]  Fabio Casati,et al.  Abstracting and Enforcing Web Service Protocols , 2004, Int. J. Cooperative Inf. Syst..

[15]  Marco Aiello,et al.  Associating assertions with business processes and monitoring their execution , 2004, ICSOC '04.

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

[17]  Paulo F. Pires,et al.  Monitoring e-business Web services usage through a log based architecture , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[18]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[19]  Paulo F. Pires,et al.  Monitoring e-business Web services usage through a log based architecture , 2004 .

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

[21]  Zheng Li,et al.  Pattern-Based Specification and Validation of Web Services Interaction Properties , 2005, ICSOC.