A Formal Method for Modeling Deployment Architectures Based on Bigraphs - Archive ouverte HAL Access content directly
Journal Articles ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing Year : 2015

A Formal Method for Modeling Deployment Architectures Based on Bigraphs

(1) , (1) , (1) , (2)
1
2

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
52 View
154 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More