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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00108119
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 3:58:35 PM
Last modification on : Monday, July 16, 2018 - 11:24:07 AM
Long-term archiving on : Wednesday, March 29, 2017 - 1:29:22 PM

Identifiers

  • 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. ⟨inria-00108119⟩

Share

Metrics

Record views

303

Files downloads

112