Skip to Main content Skip to Navigation
New interface
Reports (Research report)

A Constraint-based Approach to Web Services Provisioning

Eric Monfroy 1 Olivier Perrin 2 Christophe Ringeissen 3 Laurent Vigneron 3 
2 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : In this paper we consider the provisioning problem of Web services. Our framework is based on the existence of an abstract composition, i.e., the way some services of different types can be combined together in order to achieve a given task. Our approach consists in instantiating this abstract representation of a composite Web service by selecting the most appropriate concrete Web services. This instantiation is based on constraint programming techniques which allows us to match the Web services according to a given request. Our proposal performs this instantiation in a distributed manner, i.e., the solvers for each service type are solving some constraints at one level, and they are forwarding the rest of the request (modified by the local solution) to the next services. When a service cannot provision part of the composition, a distributed backtrack mechanism enables to change previous solutions (i.e., provisions). A major interest of our approach is to preserve privacy: solutions are not sent to the whole composition, services know only the services to which they are connected, and parts of the request that are already solved are removed from the next requests. We introduce a specific data structure, namely Message Treatment Structure, for modeling the problem. We show the interest of this data structure to express the general principles of our framework and the related algorithms.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Christophe Ringeissen Connect in order to contact the contributor
Submitted on : Friday, October 8, 2010 - 11:33:59 AM
Last modification on : Wednesday, October 26, 2022 - 8:16:00 AM
Long-term archiving on: : Thursday, October 25, 2012 - 4:41:10 PM


Files produced by the author(s)


  • HAL Id : inria-00524590, version 1


Eric Monfroy, Olivier Perrin, Christophe Ringeissen, Laurent Vigneron. A Constraint-based Approach to Web Services Provisioning. [Research Report] RR-7413, INRIA. 2010, pp.39. ⟨inria-00524590⟩



Record views


Files downloads