A Formal Method for Modeling Deployment Architectures Based on Bigraphs - LAAS-Réseaux et Communications Accéder directement au contenu
Article Dans Une Revue ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing Année : 2015

A Formal Method for Modeling Deployment Architectures Based on Bigraphs

Résumé

Software deployment is executed according a deployment architecture which describes the allocation of software components to its hardware hosts. In this paper, we tackle the issue of constructing correct deployment architectures for large distributed systems. Actually, such architectures should satisfy various constraints related to the software components and the target environment such as the hierarchical description of components , their connections and the resource constraints. We present a formal method for constructing deployment architectures using a formal language called BRS (Bigraphical Reactive System). This method provides a correct by design approach based on multi-scale modeling ensuring the correctness of the obtained deployment architectures. Following our approach, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the last scale deployment architecture.
Fichier principal
Vignette du fichier
ACR_2015.pdf (401.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01512548 , version 1 (23-04-2017)

Identifiants

Citer

Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira. A Formal Method for Modeling Deployment Architectures Based on Bigraphs. ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2015, 15 (2), pp.8-16. ⟨10.1145/2815169.2815170⟩. ⟨hal-01512548⟩
60 Consultations
175 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More