L'approche par composant vise la réutilisation par un assemblage aisé et cohérent des composants. Un assemblage cohérent de composants exige la vérification des propriétés liées à la cohérence d'interface, sémantique, de synchronisation et non fonctionnelle. Nous visons la vérification des propriétés structurelles et non fonctionnelles sur un assemblage de composants UML2.0 dotés des propriétés non fonctionnelles (performance, fiabilité, sécurité, sûreté de fonctionnement, etc.) décrites dans un langage de type CQML. Notre approche basée sur des contrats d'assemblage établis entre les composants serveurs et les composants clients, plaide en faveur de l'utilisation de l'ADL Acme/Armani comme machine de vérification d'un assemblage de composants UML2.0/CQML.