Using the Transformational Approach to Build a Safe and Generic Data Synchronizer - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Using the Transformational Approach to Build a Safe and Generic Data Synchronizer

Pascal Molli
Gérald Oster
Hala Skaf-Molli

Résumé

Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge tools perform reconciliations. However, they do not define what is the correctness of their synchronisation. In this paper, we propose to use a transformational approach as the basic model for reasonning about synchronisation. We propose an algorithm and specific transformation functions that realize a file system synchronisation. Unlike classic synchronizers, our synchronizer ensures properties of convergence, causality and intention preservation and is extensible to new data types.
Fichier non déposé

Dates et versions

inria-00099815 , version 1 (26-09-2006)

Identifiants

Citer

Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine. Using the Transformational Approach to Build a Safe and Generic Data Synchronizer. International Conference on Supporting Group Work - Group 2003, ACM SIGGROUP, Nov 2003, Sanibel Island, Florida, USA, pp.212-220, ⟨10.1145/958160.958194⟩. ⟨inria-00099815⟩
129 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More