Génération et appariement de spécifications formelles de diagrammes de classes pour la recherche de composants.