Approche transactionnelle pour assurer des compositions fiables de services web

par Sami Bhiri

Thèse de doctorat en Informatique

Sous la direction de Claude Godart.


  • Résumé

    Dans cette thèse nous nous intéressons à assurer des compositions fiables de services Web. Pour ce faire, nous proposons un modèle qui (i) enrichit la description des services Web pour mieux exprimer leurs propriétés transactionnelles et qui (ii) étend et fusionne les systèmes de workflow et les modèles transactionnels avancés (MTA). Nous proposons trois approches, basées sur ce modèle, pour assurer des compositions fiables. Contrairement aux MTA, la première approche part des spécifications des concepteurs pour déterminer les mécanismes transactionnels permettant d'assurer des exécutions correctes. La deuxième approche procède par ré-ingénierie du service composé (SC). Elle permet d'améliorer les mécanismes de recouvrement d'un SC après analyse de ses traces d'exécutions. La troisième approche repose sur le concept de <<patron transactionnel>>, un nouveau concept que nous introduisons. Un <<patron transactionnel>> est un patron qui combine la flexibilité des workflows et la fiabilité des MTA. Nous définissons un SC en connectant des patrons transactionnels. Nous utilisons un ensemble de règles de cohérence pour assurer que le SC défini est fiable.

  • Titre traduit

    ˜A œTransactional Approach to Ensure Reliable Web Services Compositions


  • Résumé

    In this thesis, we are interested in ensuring reliable Web services compositions. For that purpose, we propose a model that (i) extends Web services description to express better their transactional properties and that (ii) extends and merge workflow systems and advanced transactional models (ATM). We develop three approaches, based on this model, to ensure reliable Web services compositions. Contrary to the ATM, the first approach starts from the designers requirements to determine the transactional mechanisms allowing to ensure correct executions. The second approach proceeds by re-engineering of the composite service (CS). This approach allows to improve a CS recovery mechanisms by analysing its executions traces. The third approach is based on the concept of “Transactional Patterns”, a new concept we introduce. A “Transactional Pattern” is a pattern that combines the workflow flexibility and the ATM reliability. We define a CS by connecting together a set of transactional patterns. We use a set of coherence rules to ensure that the defined CS is reliable.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (X-136 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 131-136

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : SC N2005 116
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : BHIRI a
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.