De plus en plus, les logiciels sont considrs comme des assemblages de composants, chaque composant tant lui-mme considr comme un logiciel indpendant. Ce type d'approche permet de simplifier les tapes de conception, de dveloppement et de maintenance des logiciels tout en garantissant de manire plus aise leur qualit, leur fiabilit et leur sret. Dans ce contexte, nous proposons un cadre formel pour la dfinition de composants et de systmes de composants avec une syntaxe oriente UML et une smantique oprationnelle puis dnotationelle. La smantique oprationnelle nous permet de simuler automatiquement un systme  peu de frais grce  l'outil AGATHA, en vue de gnrer des tests. La smantique dnotationnelle nous permet, quant  elle, la dfinition d'un formalisme de spcifications de composants et de systmes de composants ainsi que de divers mcanismes tel que l'excution symbolique, que nous redfinissons et que nous prouvons correct pour notre formalisme.