Date
2009
Dewey
Programmation, logiciels, organisation des données
Sujet
Web services; An Integrated Framework for Web Services Orchestration
Journal issue
International Journal of Web Services Research (JWSR)
Volume
6
Number
4
Publication date
2009
Article pages
1-29
Publisher
IDA Group Publishing
Author
Boutrous Saab, Céline
Coulibaly, Demba
Haddad, Serge
Melliti, Tarak
Rampacek, Sylvain
Moreaux, Patrice
Type
Article accepté pour publication ou publié
Abstract (EN)
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 synthetize 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.