Achieving Convergence with Operational Transformation in Distributed Groupware Systems

Abdessamad Imine 1 Pascal Molli 2 Gérald Oster 2 Michaël Rusinowitch 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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, 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 paper, 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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00071398
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 5:11:47 PM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM
Long-term archiving on : Sunday, April 4, 2010 - 8:23:53 PM

Identifiers

  • HAL Id : inria-00071398, version 1

Citation

Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Achieving Convergence with Operational Transformation in Distributed Groupware Systems. [Research Report] RR-5188, INRIA. 2004, pp.19. ⟨inria-00071398⟩

Share

Metrics

Record views

383

Files downloads

173