Skip to Main content Skip to Navigation

Safe 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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Document type :
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:07:32 AM
Last modification on : Friday, January 21, 2022 - 3:08:58 AM
Long-term archiving on: : Friday, November 25, 2016 - 12:37:02 PM


  • HAL Id : inria-00107740, version 1


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⟩



Les métriques sont temporairement indisponibles