Safe Generic Data Synchronizer

Pascal Molli (1) , Gérald Oster (1) , Hala Skaf-Molli (1) , Abdessamad Imine (2)

1 ECOO - Environment for cooperation
2 CASSIS - Combination of approaches to the security of infinite states systems

Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Actually, a lot of synchronizers or merge tools perform reconciliations, however, which strategy they apply ? is it correct ? In this paper, we propose to use a transformational approach to build a safe generic data synchronizer.

Mots clés: synchronization reconciliating; synchronisation réconciliation

Domaines: Autre [cs.OH]

Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine. Safe Generic Data Synchronizer. [Intern report] A03-R-062 || molli03a, 2003, 8 p. ⟨inria-00107740⟩