Paper Info
Title
A tool for modeling SoS architectures using bigraphs.
Abstract
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.
Year
DOI
Venue
2017
10.1145/3019612.3019802
SAC
Field
DocType
Citations 
ENCODE,Graph,Bigraph,Programming language,Computer science,System of systems,Theoretical computer science,Software,Rewriting,Graph rewriting,Reactive system
Conference
2
PageRank 
References 
Authors
0.36
8
3
Name
Order
Citations
PageRank
Amal Gassara193.68
Ismael Bouassida Rodriguez26122.58
Mohamed Jmaiel3668110.41