Extending Web Services Semantics to Support Asynchronous Invocations and Continuation

Asynchronous invocation and continuation are common patterns in some middleware infrastructures for object-based distributed computing. Their benefits are particularly significant in distributed environments characterized by high communication latencies and coarse-grained operations. Therefore, Web services could strongly benefit from the adoption of these patterns to (1) overlap communication with computation, (2) reduce the high number of interactions typically needed to handle stateless services by migrating the state of a service as parameters of service operations, (3) intercept at run-time data dependencies among consecutive services in a composition not visible from service descriptions. Unfortunately, current semantics of Web services do not directly support the patterns, but some specifications (i.e. WS-addressing) can simplify their implementation. In the paper we present the patterns, their benefits, and a module that implements a flexible schema useful to perform asynchronous invocations in several contexts. This way, modelling composed services can benefit from abstractions whilst more sophisticated low-level interactions among services are automatically handled at run-time.

[1]  Stefano Ceri,et al.  Managing asynchronous Web services interactions , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[2]  D. Hollingsworth.  The workflow Reference Model , 1994 .

[3]  Eugenio Zimeo,et al.  Client-Side Implementation of Dynamic Asynchronous Invocations for Web Services , 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

[4]  William R. Cook,et al.  Web Services versus Distributed Objects: A Case Study of Performance and Interface Design , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[5]  Rajkumar Buyya,et al.  A Taxonomy of Workflow Management Systems for Grid Computing , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[6]  David M. Booth,et al.  Web Services Architecture , 2004 .

[7]  Uwe Zdun,et al.  Patterns for Asynchronous Invocations in Distributed Object Frameworks , 2003, EuroPLoP.

[8]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[9]  Denis Caromel,et al.  Toward a method of object-oriented concurrent programming , 1993, CACM.

[10]  Kenneth P. Birman,et al.  Like it or not, web services are distributed objects , 2004, CACM.

[11]  Werner Vogels,et al.  Web Services Are Not Distributed Objects , 2003, Int. CMG Conference.

[12]  Eugenio Zimeo,et al.  Activity Pre-Scheduling in Grid Workflows , 2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07).

[13]  Eugenio Zimeo,et al.  Workflow fine-grained concurrency with automatic continuation , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[14]  Corina Cîrstea,et al.  An operational semantics for DFM, a formal notation for modelling asynchronous Web services coordination , 2005, Fifth International Conference on Quality Software (QSIC'05).

[15]  Uwe Zdun,et al.  Pattern-Based Design of an Asynchronous Invocation Framework for Web Services , 2004, Int. J. Web Serv. Res..

[16]  M. Z. Muehlen,et al.  Workflow Management Coalition , 2000 .