A tool for modeling SoS architectures using bigraphs
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaïel · 2017
Bigraphs and Bigraphical Reactive Systems have been successfully applied in describing software architectures and modeling applications for context-aware systems and System of Systems. Therefore, it is very important to have an implementation of its dynamic to enable simulations and experimentations. In this paper, we present BiGMTE, a tool for bigraph matching and transformation. The implemented solution is based on an investigation of graph rewriting. In fact, we propose to simulate a bigraphical reactive system (i.e., bigraphs with a set of reaction rules which allow their rewriting) with a graph transformation system. Therefore, we propose two algorithms that encode a bigraph into a graph and a reaction rule into a graph rule. Finally, we give an example of modeling a SoS using BiGMTE.