Un modèle sûr et générique pour la synchronisation de données divergentes

Gérald Oster 1 Pascal Molli 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
Résumé : La réconciliation de données divergentes est un des problèmes clefs de l'informatique mobile, ainsi que des systèmes de gestion de configuration. Malgré le nombre important de synchroniseurs et d'outils de fusion qui traitent ce problème, aucun critère de correction d'un processus de synchronisation n'existe. Dans cet article, nous proposons d'utiliser le modèle des transformées opérationnelles pour raisonner sur la synchronisation de données divergentes. Nous présentons un algorithme et des fonctions de transformation qui réalisent la réconciliation d'un système de fichiers. Contrairement aux autres synchroniseurs, notre système garantit des propriétés bien définies telles que la convergence et le respect de la causalité. Il est également extensible à d'autres types de données.
Type de document :
Communication dans un congrès
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00108119
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:58:35
Dernière modification le : lundi 16 juillet 2018 - 11:24:07
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:29:22

Identifiants

  • HAL Id : inria-00108119, version 1

Citation

Gérald Oster, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine. Un modèle sûr et générique pour la synchronisation de données divergentes. Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p, 2004. 〈inria-00108119〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

96