Les services Web sont des composants accessibles via internet. Dans cette these nous presentons une plateforme d'aide a la conception de services Web basee sur le langage PEWS (Path Expressions for Web Services). PEWS peut etre vu comme une extension du langage WSDL permettant la description de l'interface comportementale d'un service. Notre plateforme propose des mecanismes pour analyser la correction (faculte qu'ont des services a communiquer) et la possibilite de remplacer un service par un autre dans une composition. Pour cela, nous avons utilise la theorie des traces introduite par Mazurkiewicz. Les traces representent le comportement non sequentiel de systemes concurrents via une observation sequentielle. Nous travaillons sur les graphes de dependance, qui sont la representation des traces la plus interessante pour l'implementation de nos propositions. Mots cles: services Web, composition, traces, graphes de dependance."