ETD system

Electronic theses and dissertations repository

 

Tesi etd-05222006-103128


Thesis type
Tesi di dottorato di ricerca
Author
Lanese, Ivan
email address
lanese@cs.unibo.it
URN
etd-05222006-103128
Title
Synchronization Strategies for Global Computing Models
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Commissione
relatore Montanari, Ugo
Parole chiave
  • process calculi
  • mobility
  • graph transformations
  • Global computing
  • synchronization
Data inizio appello
26/06/2006;
Consultabilità
completa
Riassunto analitico
We analyze different issues related to synchronization among multiple components in Global Computing (GC) systems, where many heterogeneous entities must cooperate in a distributed scenario with mobility. We start with a comparison between different models for GC systems, namely Fusion Calculus, Synchronized Hyperedge Replacement (SHR) with both Hoare and Milner synchronization, and logic programming. The comparison shows tight relations between the three models, while it highlights the complexity of implementing a synchronization model (Milner model) on top of another one (Hoare model). This triggers the idea of having the synchronization model as a separate entity w.r.t. the underlying framework, thus allowing to choose each time the most suitable one. This is formalized using synchronization algebras with mobility (SAMs), a generalization of Winskel's synchronization algebras apt to be used in a framework with mobility and local resources, and then applied both in the framework of SHR and of process calculi. Finally, we analyze the compositionality properties of our frameworks, with particular attention to the ``bisimilarity is a congruence' property, using standard techniques from bialgebras. As a result we show that bisimilarity is a congruence for SHR with any synchronization model, and we present a concurrent semantics for Fusion Calculus, whose induced bisimilarity is a congruence (while this does not hold for the standard semantics)
File