De plus en plus, les logiciels sont consideres comme des assemblages de composants, chaque composant etant lui-meme considere comme un logiciel independant. Ce type d'approche permet de simplifier les etapes de conception, de developpement et de maintenance des logiciels tout en garantissant de maniere plus aisee leur qualite, leur fiabilite et leur surete. Dans ce contexte, nous proposons un cadre formel pour la definition de composants et de systemes de composants avec une syntaxe orientee UML et une semantique operationnelle puis denotationelle. La semantique operationnelle nous permet de simuler automatiquement un systeme a peu de frais grace a l'outil AGATHA, en vue de generer des tests. La semantique denotationnelle nous permet, quant a elle, la definition d'un formalisme de specifications de composants et de systemes de composants ainsi que de divers mecanismes tel que l'execution symbolique, que nous redefinissons et que nous prouvons correct pour notre formalisme.