Synchronized Hyperedge Replacement for Heterogeneous Systems

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

• Type: Conference
• Year: 2005
• Where: COORDINATION
• Authors: Ivan Lanese, Emilio Tuosto
• Keywords: COORDINATION 2005, Distributed And Parallel Computing, Different Synchronization Algebras, Hyperedge Replacement Approach, Synchronization Algebras