On Consistency of Operational Transformation Approach

Aurel Randolph 1 Hanifa Boucheneb 2 Abdessamad Imine 3 Quintero Alejandro 1
3 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
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 of this approach is to transform any received update operation before its execution on a replica of the object. This transformation aims to ensure the convergence of the different replicas of the object, even if the operations are executed in different orders. However, designing transformation functions for achieving convergence is a critical and challenging issue. Indeed, the transformation functions proposed in the literature are all revealed incorrect. This paper investigates the existence of transformations functions which ensure convergence. From the theoretical point of view, two properties, named TP1 and TP2, are necessary and sufficient to ensure convergence. For the basic signatures of insert and delete operations, we show, using controller synthesis technique, that there are some transformation functions, which satisfy TP1. But, there is no transformation function, which satisfies both TP1 and TP2.
Type de document :
Communication dans un congrès
INFINITY 2012 - 14th International Workshop on Verification of Infinite-State Systems, Aug 2012, Paris, France. pp.1-15, 2012, 〈http://www.it.uu.se/workshop/infinity2012/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00760017
Contributeur : Abdessamad Imine <>
Soumis le : lundi 3 décembre 2012 - 12:19:13
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : hal-00760017, version 1

Citation

Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Quintero Alejandro. On Consistency of Operational Transformation Approach. INFINITY 2012 - 14th International Workshop on Verification of Infinite-State Systems, Aug 2012, Paris, France. pp.1-15, 2012, 〈http://www.it.uu.se/workshop/infinity2012/〉. 〈hal-00760017〉

Partager

Métriques

Consultations de la notice

409