We propose a generalization of synchronization algebras that allows to deal with mobility and local resource handling. We show how it can be used to model communication primitives for distributed and mobile computations, such as the ones used in the global computing area. We propose a graph transformation formalism in the Synchronized Hyperedge Replacement approach which is parametric w.r.t. the synchronization algebra and thus allows to model complex systems based on the chosen communication primitives. We thus unify different models described in the literature and we allow to easily define new ones. We present various examples and a case study on Fusion Calculus, showing how different semantics for it can be derived using different synchronization algebras.
Synchronization Algebras with Mobility for Graph Transformations / LANESE I.; MONTANARI U.. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 138:1(2004), pp. 43-60. (Intervento presentato al convegno FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing tenutosi a London, UK nel 3-4/9/2004,) [10.1016/j.entcs.2005.05.004].
Synchronization Algebras with Mobility for Graph Transformations
LANESE, IVAN;
2004
Abstract
We propose a generalization of synchronization algebras that allows to deal with mobility and local resource handling. We show how it can be used to model communication primitives for distributed and mobile computations, such as the ones used in the global computing area. We propose a graph transformation formalism in the Synchronized Hyperedge Replacement approach which is parametric w.r.t. the synchronization algebra and thus allows to model complex systems based on the chosen communication primitives. We thus unify different models described in the literature and we allow to easily define new ones. We present various examples and a case study on Fusion Calculus, showing how different semantics for it can be derived using different synchronization algebras.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.