Skip to Main content Skip to Navigation

Définition d’un Modèle de Déploiement d’une Architecture logicielle à base de BRS

Abstract : The deployment is an important phase in the lifecycle of software, often built in an ad-hoc way. The concerns of software architects are centered on the definition of a generic deployment process to correctly assemble and distribute software applications regardless of their implementation techno- logy. We show in this work the relevance of bigraphical reactive systems (BRS) for the formal description of the deployment process of a software applica- tion in a target environment. The proposed formal model allows in particular to define on the first hand, the two structures specified in AADL architecture namely the platform and the application scenario and in the other hand, the corresponding installation operation, usually described in this language by a set of properties. We also show the ability of the proposed model, once en- riched by reaction rules associated with a bigraph, to support dynamics and reconfiguration of AADL specifications. This work ended with the proposal of an environment based on Maude language. It supports an architecture specification in AADL, then transforms it into bigraphical model which will then be checked by the Maude model checker to derive an executable system.
Complete list of metadatas

Cited literature [118 references]  Display  Hide  Download
Contributor : Nadira Benlahrache <>
Submitted on : Thursday, November 28, 2019 - 7:46:10 PM
Last modification on : Monday, March 9, 2020 - 11:08:08 AM


  • HAL Id : tel-02385545, version 1


Nadira Benlahrache. Définition d’un Modèle de Déploiement d’une Architecture logicielle à base de BRS. Informatique [cs]. Université Constantine 2 Abdel Hamid Mehdi Algérie, 2014. Français. ⟨tel-02385545⟩



Record views


Files downloads