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

• Auteur / Autrice : Christophe Dumez
• Direction : Maxime Wack
• Type : Thèse de doctorat
• Discipline(s) : Sciences de l'ingénieur
• Date : Soutenance en 2010
• Etablissement(s) : Belfort-Montbéliard
• Partenaire(s) de recherche : Laboratoire : Laboratoire Systèmes et Transports

Mots clés

Mots clés contrôlés

UML (informatique)

Ingénierie dirigée par les modèles

Services Web

SOA

Mots clés libres

Architecture orientée services

Services Web

Architecture dirigée par les modèles

Spécification

Vérification formelle

Implémentation

Composition de services

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.

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.