Dans cette these, une approche pour la specification, la verification formelle et la mise en oeuvre de services Web composes est proposee. Il s'agit d'une approche dirigee par les modeles fidele aux principes de MDA definis par l'OMG. Elle permet au developpeur de s'abstraire des difficultes liees a l'implementation en travaillant sur des modeles de haut niveau, independants de la plateforme ou de la technologie d'implementation cible. Les modeles sont realises a l'aide du langage de modelisation UML. Plus precisement, une extension a UML nommee UML-S est proposee pour adapter le langage au domaine de la composition de services. Les modeles UML-S sont suffisamment expressifs et precis pour etre directement transformes en code executable tout en conservant leur lisibilite. Ces modeles peuvent egalement etre transformes en descriptions formelles LOTOS afin de proceder a leur verification formelle. L'approche proposee contribue a reduire le temps et le cout de developpement tout en assurant la fiabilite des services composes."