@techreport{imine04b,
title = {Achieving Convergence with Operational
Transformation in Distributed Groupware Systems},
author = {Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch},
institution = {INRIA},
month = { May},
number = {RR-5188},
type = {Rapport de recherche},
year = { 2004},
description = {molli},
abstract = {Distributed groupware systems provide computer
support for manipulating shared objects by dispersed
users. Data replication is used in such systems in
order to improve the availability of data. This
potentially leads to divergent (or different)
replicas. In this respect, the Operational
Transformation (OT) approach is employed to maintain
convergence of all replicas, i.e. all users view the
same object. Using this approach, users can exchange
their updates in any order since the convergence
should be ensured in all cases. However, designing
correct OT algorithms is still an open issue. In
this report, we demonstrate that recent OT
algorithms are incorrect. We analyse the source of
this problem and we propose a generic solution with
its formal correctness.},
crinnumber = {A04-R-188}, category = {15}, equipe = {CASSIS},
keywords = {convergence, distributed operational optimistic replication, systems, transformation }
}
::