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.