De plus en plus, les logiciels sont considA(c)rA(c)s comme des assemblages de composants, chaque composant A(c)tant lui-mAame considA(c)rA(c) comme un logiciel indA(c)pendant. Ce type d'approche permet de simplifier les A(c)tapes de conception, de dA(c)veloppement et de maintenance des logiciels tout en garantissant de maniA]re plus aisA(c)e leur qualitA(c), leur fiabilitA(c) et leur sAretA(c). Dans ce contexte, nous proposons un cadre formel pour la dA(c)finition de composants et de systA]mes de composants avec une syntaxe orientA(c)e UML et une sA(c)mantique opA(c)rationnelle puis...