La Composition de Services Web de la Sp cification La Mise En Oeuvre

Dans cette thse, une approche pour la spcification, la vrification formelle et la mise en oeuvre de services Web composs est propose. Il s'agit d'une approche dirige par les modles fidle aux principes de MDA dfinis par l'OMG. Elle permet au dveloppeur de s'abstraire des difficults lies l'implmentation en travaillant sur des modles de haut niveau, indpendants de la plateforme ou de la technologie d'implmentation cible. Les modles sont raliss l'aide du langage de modlisation UML. Plus prcisment, une extension UML nomme UML-S est propose pour adapter le langage au domaine de la composition de services. Les modles UML-S sont suffisamment expressifs et prcis pour tre directement transforms en code excutable tout en conservant leur lisibilit. Ces modles peuvent galement tre transforms en descriptions formelles LOTOS afin de procder leur vrification formelle. L'approche propose contribue rduire le temps et le cot de dveloppement tout en assurant la fiabilit des services composs.