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 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. Nous montrons dans ce travail la pertinence des systèmes réactifs bigraphiques (BRS) pour la description formelle de l?opération de déploiement d?une application logicielle dans un environnement cible. Le modèle formel proposé permet en particulier de définir d?une part, les deux structures d?une architecture spécifiées en AADL à savoir la plateforme et le scénario de l?application et d?autre part, l?opération d?installation correspondante décrite usuellement dans ce langage par un ensemble de propriétés. Nous montrons également la capacité du modèle proposé, une fois enrichi par des règles de réaction associées à un bigraphe, à prendre en charge la dynamique définie dans une spécification AADL.