BibSonomy publications for /user/momo54/divergence,Thu Jun 21 16:20:22 CEST 2007Nice, FrancePremières Journées Francophones : Mobilité et
Ubiquité - UbiMob'04 JuneUn modèle sûr et générique pour la synchronisation
de données divergentes 2004transformation, operational synchronization, divergence, distributed systems 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.