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...