Synchronized Hyperedge Replacement for Heterogeneous Systems [chapter]

Ivan Lanese, Emilio Tuosto
2005 Lecture Notes in Computer Science  
We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes complex evolutions by synchronizing local rules. In order to deal with heterogeneity, we consider different synchronization algebras for different communication channels. The main technical point is the interaction between synchronization algebras and name mobility in the π-calculus style. The power of our approach is shown through a few examples.
doi:10.1007/11417019_15 fatcat:blk4kssxl5advcpui3nyva74be