On Synthesizing a Consistent Operational Transformation Approach

Aurel Randolph 1 Hanifa Boucheneb 1 Abdessamad Imine 2 Alejandro Quintero 1
2 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
Abstract : The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange their updates in any order. The basic idea is to transform any received update operation before its execution on a replica of the object. Concretely, OT consists of a centralized / decentralized integration procedure and a transformation function. In the context of decentralized integration, designing transformation functions for achieving convergence of object replicas is a critical and challenging issue. Indeed, the transformation functions proposed in the literature are all revealed inefficient. In this paper, we investigate the existence of transformation functions. From the theoretical point of view, two properties, named TP1 and TP2, are necessary and sufficient to ensure convergence. Using controller synthesis technique, we show that there are some transformation functions, which satisfy TP1 for the basic signatures of insert and delete operations. But, there is no transformation function, which satisfies both TP1 and TP2. Consequently, a transformation function which satisfies both TP1 and TP2 must necessarily have additional parameters in the signatures of some update operations. We propose, in this paper, a new transformation {function} and show formally that it ensures convergence.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01094030
Contributor : Abdessamad Imine <>
Submitted on : Thursday, December 11, 2014 - 3:13:38 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM

Identifiers

  • HAL Id : hal-01094030, version 1

Citation

Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero. On Synthesizing a Consistent Operational Transformation Approach. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2015, 64 (4), pp.16. ⟨hal-01094030⟩

Share

Metrics

Record views

534