Dependable composition of Web services
Composition Sûre de Fonctionnement de Services Web
Résumé
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, the resulting systems must offer a number of non-functional properties and in particular dependability-related ones, for acceptance by users, including effective exploitation in the e-business domain. This thesis proposes a method and associated middleware services for the dependable composition of autonomous systems. Our contribution subdivides into the extension of the interfaces of systems with their dependability capabilities, a definition of a specific composition language oriented towards providing dependability for the composite system and a runtime support that implements fault tolerance mechanisms. The proposed extension of Web service interfaces is specified using a conversation language that sets the rules for calling the operations offered by individual Web services. Recovery-related properties are associated to these conversations, enabling to reason about the recovery strategy that can be implemented in the service composition. Indeed, the recovery behaviour of composite services depend upon the recovery properties of the composed Web services, since the latter must ultimately perform some recovery actions in the presence of faults. This thesis further proposes a declarative composition language, which allows developing composite Web services in terms of dependable actions. We allow exception handling involving several Web services to be specified at the composition level, enabling in particular to integrate non-dependable Web services in the composition while still supporting dependability of the composite service. We show that fault tolerance can be obtained as an emergent property of the aggregation of different, potentially non-dependable, services.
Les services Web offrent un certain nombre de propriétés intéressantes pour le développement des systèmes distribués ouverts, construits par la composition de services autonomes. Cependant, les systèmes résultants doivent offrir des propriétés non-fonctionnelles et en particulier des propriétés de sûreté de fonctionnement pour êttre adopté par les utilisateurs, et notamment pour leur utilisation effective dans le domaine de l'e-business. Cette thèse propose une méthode et des intergiciels associés pour la composition sûre de fonctionnement de services autonomes. Notre contribution porte sur une extension des interfaces des systèmes composés par leur propriétés de sûreté de fonctionnement, une définition d'un langage de composition spécifique pour assurer la sûreté de fonctionnement du service composite et sur un support d'exécution pour la mise en oeuvre des mécanismes de tolérance aux fautes. L'extension proposée aux interfaces des services Web est spécifié par un langage de conversation qui permet de définir les règles pour appeler les opérations offertes par les services Web individuelles. Les propriétés relatives au recouvrement sont associées `a ces conversations, permettant de raisonner sur la stratégie de recouvrement qui peut êttre mise en oeuvre dans la composition de service. En effet, les comportement de recouvrement des services composites dépendent des propriétés de recouvrement des services composés, ces derniers devant effectuer les actions de recouvrement en présence de fautes. Cette thèse propose ensuite un langage de composition déclaratif qui permet de développer des services composites en termes d'actions atomiques. Nous permettons la spécification du traitement d'exceptions impliquant plusieurs services Web au niveau de la composition, permettant en particulier d'intégrer des services non-sûres dans la composition tout en garantissant la sûreté de fonctionnement du service composite. Nous montrons que la tolérance aux fautes peut êttre obtenue comme une propriété émergente de l'agrégation de plusieurs services, potentiellement non-sûres.
Domaines
Informatique [cs]
Loading...