Using the transformational approach to build a safe and generic data synchronizer

摘要: Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge tools perform reconciliations. However, they do not define what the correctness their synchronisation. In this paper, we propose to use transformational approach as basic model for reasonning about We algorithm specific transformation functions that realize file system Unlike classic synchronizers, our synchronizer ensures properties convergence, causality intention preservation extensible new types.