Vers une plateforme dédiée à la composition automatique et l'exécution de services : Applications E-Tourisme

par Pathathai Na lumpoon

Thèse de doctorat en Informatique

Sous la direction de Ahmed Lbath et de Marie-Christine Fauvet.

Le président du jury était Marlon Dumas.

Les rapporteurs étaient Abdelaziz Bouras, Nadine Cullot.


  • Résumé

    Les systèmes de services contextualisés ont connu un grand essor ces dernières années dans des domaines variés tels que la santé, la logistique ou bien le tourisme. Cette thèse s'intègre dans un projet plus global, nommé E-Tourism, qui vise à réaliser une plateforme de fourniture de services sensibles au contexte à des utilisateurs en situation de mobilité. Le travail de cette thèse se focalise sur la problématique de composition de services web et de leur exécution. La composition de services web permet la réutilisation de services existants afin d'en faire une synthèse répondant au besoin de l'utilisateur. Cette composition se fait en général au niveau de la phase conceptuelle ce qui limite le choix de services potentiels. Cette thèse présente une nouvelle approche de la composition de services Web automatisé et une plateforme d'exécution. Notre approche vise à composer les opérations de services qui répondent aux besoins des utilisateurs mobiles exprimées dans une logique propositionnelle et exécuter le service composé en agrégeant plusieurs services composants. Nous avons proposé une plateforme d'exécution de services et nous avons introduit un nouvel algorithme de planification intégré à cette plateforme. Nous avons défini un contexte basé sur le modèle BPMN. Afin de valider notre modèle sémantique nous avons utilisé une approche de type « model-checking » . Enfin, nous avons réalisé un prototype sous forme d'une plateforme de composition de services et d'exécution automatique en Java. Nous avons implémenté les règles d'inférence et les modèles BPMN en prolog. Enfin, nous avons intégré ces algorithmes dans l'ensemble du système. En perspectives, nous prévoyons d'étendre notre travail actuel et prendre en compte des scénarios plus complexes nécessitant des services web dynamiques.

  • Titre traduit

    Toward a framework for automated service composition and execution : E-tourism Applications


  • Résumé

    Recently, distributed computing systems based on context awareness have been proposing in several domains such as healthcare, logistics and tourism. The study described in this thesis is a part of a broader project of E-Tourism system that provides nomad user, context-aware personalized services. The work of this thesis focuses on the issues raised by web service composition and execution. Web service composition brings benefits of reusing existing services to synthesize the new resulting service that meets users needs. The way to create web service composition normally happens at design time, but this limits choices of services. This thesis presents a novel approach of automated web service composition and execution framework. Our approach aims to compose service operations that fulfill mobile users' requirements expressed in propositional logic and execute the resulting service based on aggregating multi service components. In the proposed framework, we have introduced our planning algorithm based on abstract goal states to search and connect to service operations, by mean of service operation annotations, for an abstract plan. The abstract plan is expected for workflow model of sequencing, paralleling and conditioning among service operations. However, the generated workflow is not in an executable form, this is why we perform the transformation of the workflow into an executable business process. To achieve the business process execution, we defined context based BPMN model for mapping the abstract plan to BPMN semantics. We also propose a new validation algorithm and exploited planning-as-model-checking approach to validate the semantic BPMN model whether it is Well-formed and Well-defined BPMN process. Finally, we implemented the automated service composition and execution framework system in Java platform as a proof of concept. We developed the logical composition and, transformation and validation BPMN algorithms written in Prolog. We have integrated these algorithms into the whole system. From the perspective, we plan to extend our current work and take into account more complex user's scenarios that explicitly and implicitly express other pattern controls and we will also consider the scenarios required for stateful web services


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Service Interétablissement de Documentation. LLSH Collections numériques.
  • Bibliothèque : Université Savoie Mont Blanc (Chambéry-Annecy). Service commun de la documentation et des bibliothèques universitaires. Bibliothèque électronique.
  • Bibliothèque : Service interétablissements de Documentation. STM. Collections numériques.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.