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.
Titolo: | Synchronization Algebras with Mobility for Graph Transformations |
Autore/i: | LANESE, IVAN; MONTANARI U. |
Autore/i Unibo: | |
Anno: | 2004 |
Rivista: | |
Titolo del libro: | Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004) |
Pagina iniziale: | 43 |
Pagina finale: | 60 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.entcs.2005.05.004 |
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. |
Data prodotto definitivo in UGOV: | 27-giu-2013 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |