Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example

Author(s):  
Francesco Moscato ◽  
Nicola Mazzocca ◽  
Valeria Vittorini ◽  
Giusy Di Lorenzo ◽  
Paola Mosca ◽  
...  
2009 ◽  
Vol 6 (4) ◽  
pp. 1-29 ◽  
Author(s):  
C. Boutrous Saab ◽  
D. Coulibaly ◽  
S. Haddad ◽  
T. Melliti ◽  
P. Moreaux ◽  
...  

Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Their approach is based on a formal semantics for BPEL via process algebra and yields an algorithm which decides whether such a client exists and synthesizes the description of this client as a (timed) automaton. The second one concerns the design process of a service. They propose a method which proceeds by two successive refinements: first the service is described via UML, then refined in a BPEL model and finally enlarged with JAVA code using JCSWL, a new language that we introduce here. Their solutions are integrated in a service development framework that will be presented in a synthetic way.


2006 ◽  
Vol 15 (01) ◽  
pp. 57-85 ◽  
Author(s):  
IVO JOSÉ GARCIA DOS SANTOS ◽  
EDMUNDO ROBERTO MAURO MADEIRA

The Service-Oriented Architecture promises to be an affordable solution for the integration of heterogeneous systems through the Internet. In the e-Business field, this promise represents a great chance for companies to increase competitiveness and to enable the enactment of new collaborative e-Business processes. In this paper, we present a Virtual Marketplace infrastructure, the VM-Flow, which uses Dynamic Composition of Web Services (Orchestration and Choreography) as a fundamental technique to enable interorganizational business interactions in the context of Dynamic Virtual Enterprises. The VM-Flow platform is workflow-based and also introduces a series of interaction policies to deal with aspects like autonomy and privacy. A platform model is presented together with details on the infrastructure prototype and on an application built over it.


Sign in / Sign up

Export Citation Format

Share Document