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, Nice, France, (June 2004)Abstract
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.
Description
molli