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 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. 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.
Type de document :
Rapport
[Intern report] A03-R-062 || molli03a, 2003, 8 p
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107740
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:07:32
Dernière modification le : lundi 16 juillet 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:37:02

Identifiants

  • HAL Id : inria-00107740, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

346

Téléchargements de fichiers

104