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...