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

Pascal Molli 1 Gérald Oster 1 Hala Skaf-Molli 1 Abdessamad Imine 2
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
International Conference on Supporting Group Work - Group 2003, Nov 2003, Sanibel Island, Florida, USA, ACM Press, pp.212-220, 2003, Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work. 〈10.1145/958160.958194〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00099815
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:41:30
Dernière modification le : lundi 16 juillet 2018 - 11:24:07

Identifiants

Citation

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, Nov 2003, Sanibel Island, Florida, USA, ACM Press, pp.212-220, 2003, Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work. 〈10.1145/958160.958194〉. 〈inria-00099815〉

Partager

Métriques

Consultations de la notice

219