Encoding Bigraphical Reactive Systems into Graph Transformation Systems

Amal Gassara (1) , Ismael Bouassida Rodriguez (1) , Mohamed Jmaiel (1) , Khalil Drira (2)

1 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées
2 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés

In 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.

Mots clés: Graph Transformation; Bigraphical Reactive Systems; bigraphs

Domaines: Génie logiciel [cs.SE]

Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira. Encoding Bigraphical Reactive Systems into Graph Transformation Systems. 14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, Jun 2016, Gargnano, Italy. pp.216 - 219, ⟨10.1016/j.endm.2016.10.051⟩. ⟨hal-01399477⟩