L'enorme expansion de l'utilisation des logiciels dans tous les domaines de la vie fait que les demandes d'installation et de developpement de systemes logiciels reutilisables, robustes, fiables, flexibles et adaptatifs s'accelerent considerablement. Ces exigences etant de plus en plus fortes, la complexite des processus geres par les logiciels augmente en meme temps que la demande d'integration des processus de differents domaines. En consequence, les programmes logiciels deviennent de plus en plus volumineux et complexes. L'un des defis pour les developpeurs de logiciels consiste a verifier la conformite entre la mise en oeuvre et la specification, en particulier dans le domaine de l'ingenierie logicielle basee sur les composants. Dans ce livre, nous proposerons une methode pour verifier cette conformite.