Les services web sont devenus très utilisés notamment par les entreprises pour rendre accessible leurs métiers et leurs données via le Web. L'objectif principal de ce travail est de proposer une approche formelle pour la modélisation d'une composition de Services Web et du langage WS-BPEL en particulier. Ce langage est l'un des standards les plus populaires pour l'orchestration de services Web.