Publisher's Synopsis
Dans cette th�se, 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 des 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 le temps et le co�t de d�veloppement tout en assurant la fiabilit� des services compos�s.
