Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés

par Christophe Dumez

Thèse de doctorat en Sciences de l'ingénieur

Sous la direction de Maxime Wack.

Soutenue en 2010

à Belfort-Montbéliard .


  • Résumé

    Dans ce travail, une approche pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés est proposée. Il s'agit d'une approche dirigée par les modèles fidèle aux principes de MDA définis par l'OMG. Elle permet au développeur de s'abstraire des difficultés liées à l'implémentation en travaillant sur les modèles de haut niveau, indépendants de la plateforme ou de la technologie d'implémentation cible. Les modèles sont réalisés à l'aide du langage de modélisation UML. Plus précisément, une extension à UML nommée UML-S est proposée pour adapter le langage au domaine de la composition de services. Les modèles UML-S sont suffisamment expressifs et précis pour être directement transformés en code exécutable tout en conservant leur lisibilité. Ces modèles peuvent également être transformés en descriptions formelles LOTOS afin de procéder à leur vérification formelle. L'approche proposée contribue à réduire les temps et les coûts de développement tout en assurant la fiabilité des services composés.


  • Résumé

    In this work, an approach is proposed to specify, formally verify and implement composite Web services. This model-driven approach embraces the principles of the Model-Driven Architecture (MDA) as promoted by the OMG. It allows for the developer to work at a high level of abstraction by handling graphical models that are independent from programming concepts and implementation technologies. These models are described using the UML modeling language. Specifically, an extension to UML called UML-S is proposed to adapt the language to the specific needs of the Web service composition domain. UML-S models are expressive and precise enough to support direct transformation into low-level execution code while being easily readable. These models can also be transformed into formal descriptions in LOTOS to support the formal verification of the composition. The approach proposed contributes to reducing development time and costs while contributing to the robustness of the service composition.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (242 p.)
  • Annexes : Bibliogr. p.225-240.

Où se trouve cette thèse ?

  • Bibliothèque : Université de technologie de Belfort-Montbéliard. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : THESE 10 DUM
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.