Int. J. of Web Engineering and Technology   »   2006 Vol.2, No.4

 

 

Title: Enforcing web services business protocols at run-time: a process-driven approach

 

Author: Biorn Biornstad, Cesare Pautasso, Gustavo Alonso

 

Addresses:
Department of Computer Science, ETH Zurich, CH-8092 Zurich, Switzerland.
Department of Computer Science, ETH Zurich, CH-8092 Zurich, Switzerland.
Department of Computer Science, ETH Zurich, CH-8092 Zurich, Switzerland

 

Abstract: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is possible to automatically derive role-specific processes from a global protocol definition and also statically verify the compliance of a local process with the corresponding global business process. In this paper, we show that a similar approach can be used at run-time. We propose to employ process-based tools to enforce that the messages exchanged between different WS comply with a given business protocol, both in terms of sequencing constraints and data flow characteristics. Our solution simplifies the implementation of WS because it helps to separate the concern of business protocol compliance from the actual service implementation. To do so, we show how to transparently add a protocol enforcement layer to the WS messaging stack. Our experimental results indicate that this imposes a minimal overhead.

 

Keywords: web services; choreography; run-time protocol enforcement; business protocols; conversation controller; business process modelling; sequencing constraints; data flow.

 

DOI: 10.1504/IJWET.2006.010422

 

Int. J. of Web Engineering and Technology, 2006 Vol.2, No.4, pp.396 - 411

 

Available online: 20 Jul 2006

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article