Le déploiement constitue une phase importante dans le cycle de vie d'un logiciel, souvent construite de façon ad-hoc. Les préoccupations des architectes aujourd'hui sont communes, et s'articulent autour de la définition d'un processus de déploiement générique permettant d'assembler et de distribuer correctement des applications logicielles quelle que soit leur technologie d'implémentation. Cet article propose un cadre formel, à base des bigraphes, permettant la modélisation de l'opération de déploiement d'une application dans un environnement cible. D'une part, un méta modèle à base des systèmes réactifs bigraphiques (BRS) est utilisé pour définir formellement un style architectural regroupant une famille d'architectures ayant un ensemble de propriétés communes. D'autre part, la description formelle de la plateforme d'exécution chargée d'accueillir les composants de l'application après son déploiement est réalisée aussi au moyen d'un BRS particulier. Enfin, entre ces deux éléments se situe le processus de déploiement, défini formellement par une opération de composition des deux bigraphes précédents.