%0 Report %1 imine04b %A Imine, Abdessamad %A Molli, Pascal %A Oster, Gérald %A Rusinowitch, Michaël %D 2004 %K convergence, distributed operational optimistic replication, systems, transformation %N RR-5188 %T Achieving Convergence with Operational Transformation in Distributed Groupware Systems %X 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.

@techreport{imine04b, 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.}, added-at = {2007-06-21T16:20:22.000+0200}, author = {Imine, Abdessamad and Molli, Pascal and Oster, Gérald and Rusinowitch, Michaël}, biburl = {https://www.bibsonomy.org/bibtex/234605b564c1a5018b72832416546b01f/momo54}, category = {15}, crinnumber = {A04-R-188}, description = {molli}, equipe = {CASSIS}, institution = {INRIA}, interhash = {aef7c9842f206e62de77d1b49718c269}, intrahash = {34605b564c1a5018b72832416546b01f}, keywords = {convergence, distributed operational optimistic replication, systems, transformation}, month = May, number = {RR-5188}, timestamp = {2007-06-21T16:20:23.000+0200}, title = {Achieving Convergence with Operational Transformation in Distributed Groupware Systems}, type = {Rapport de recherche}, year = { 2004} }