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 pi-calculus style. The power of our approach is shown through a few examples.
Synchronized Hyperedge Replacement for Heterogeneous Systems / LANESE I.; TUOSTO E.. - STAMPA. - 3454:(2005), pp. 220-235. (Intervento presentato al convegno Seventh International Conference on Coordination Models and Languages tenutosi a Namur, Belgium nel 20-23/4/2005) [10.1007/11417019_15].
Synchronized Hyperedge Replacement for Heterogeneous Systems
LANESE, IVAN;
2005
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 pi-calculus style. The power of our approach is shown through a few examples.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
