Skip to Main content Skip to Navigation

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 :
Complete list of metadata
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 5:11:47 PM
Last modification on : Thursday, January 13, 2022 - 12:00:16 PM
Long-term archiving on: : Sunday, April 4, 2010 - 8:23:53 PM


  • HAL Id : inria-00071398, version 1


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⟩



Les métriques sont temporairement indisponibles