Dans cette thA]se, une approche pour la spA(c)cification, la vA(c)rification formelle et la mise en oeuvre de services Web composA(c)s est proposA(c)e. Il s''agit d''une approche dirigA(c)e par les modA]les fidA]le aux principes de MDA dA(c)finis par l''OMG. Elle permet au dA(c)veloppeur de s''abstraire des difficultA(c)s liA(c)es A l''implA(c)mentation en travaillant sur des modA]les de haut niveau, indA(c)pendants de la plateforme ou de la technologie d''implA(c)mentation cible. Les modA]les sont rA(c)alisA(c)s A l''aide du langage de modA(c)lisation UML. Plus prA(c)cisA(c)ment, une...