A multi-scale modeling approach for software architecture deployment

International audienceFor large component-based applications, identifying a valid deployment architecture has emerged as a major challenge. Actually, this deployment architecture (i.e, allocation of software components to its hardware hosts) 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. The numerous constraints make hard to construct manually the correct deployment architecture. In this work, we propose a formal method based on a formal language called BRS (Bigraphical Reactive System) in order to guarantee the correctness of the deployment architecture. Furthermore , in order to support its automatic construction, our proposed method follows a multi-scale modeling. In fact, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the deployment architecture at the last scale. This refinement is ensured by applying a set of rules. In this paper, we address communicating systems as a study domain

A Bigraphical Multi-scale Modeling Methodology for System of Systems

In this paper, we present a multi-scale modeling methodology for software System of Systems (SoS) using the formal technique of Bigraphical Reactive System. This methodology provides a correct by design approach ensuring the correctness of the SoS architectures. A first scale is defined by the designer. Then, it is refined by successively adding lower scale details. The transition between scales is implemented following a rule-oriented refinement process. The executed rules respect the system constraints ensuring, in this way, the correctness of the obtained scale architectures. Moreover, we address the dynamic aspect of SoS by providing model-based rules of reconfiguration actions. We illustrate our approach with a Smart Buildings case study

Encoding Bigraphical Reactive Systems into Graph Transformation Systems

International audienceIn this paper, we present a solution for executing bigraphical reactive systems based on an investigation on graph transformation systems. For this, we encode a bigraph into a ranked graph. This encoding is ensured, formally, by defining a faithful functor that allows to move from bigraph category to ranked graph category. Then, we show that reaction rules can be simulated with graph rules

Executing bigraphical reactive systems

International audienceIn order to enable experimentations and simulations of bigraphs, we need an implementation of their dynamic. In this paper, we tackle the matching issue of this task. We present a solution based on an investigation on graph matching. We propose to simulate a bigraphical reactive system (i.e., bigraphs with a set of reaction rules that allow their rewriting) with a graph transformation system. First, we translate a bigraph to a ranked graph. This translation is ensured by defining a faithful functor that allows to move from the bigraph category to the ranked graph category. Then, we show that reaction rules can be simulated with graph rules. Hence, we provide a formal basis allowing to execute bigraph transformations by simulating their translation aiming to use well-established and efficient graph transformation tools

A Formal Method for Modeling Deployment Architectures Based on Bigraphs

International audienceSoftware 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