Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors

@article{Sun2020RealDB,
  title={Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors},
  author={David Sun and Chengzheng Sun and Agustina and Weiwei Cai},
  journal={Proceedings of the ACM on Human-Computer Interaction},
  year={2020},
  volume={4},
  pages={1 - 30}
}
OT (Operational Transformation) was invented for supporting real-time co-editors in the late 1980s and has evolved to become core techniques widely used in today's working co-editors and adopted in industrial products. CRDT (Commutative Replicated Data Type) for co-editors was first proposed around 2006, under the name of WOOT (WithOut Operational Transformation). Follow-up CRDT variations are commonly labeled as "post-OT" techniques capable of making concurrent operations natively commutative… 
Real Differences between OT and CRDT under a General Transformation Framework for Consistency Maintenance in Co-Editors
TLDR
A general transformation framework for consistency maintenance in co-editors is presented, which was distilled from dissecting and examining representative OT and CRDT solutions (and other alternative solutions) during this work, and reveals that CRDT is like OT in following a general transformation approach, but achieves the same transformation indirectly in contrast to OT direct transformation approach.
Real Differences between OT and CRDT in Building Co-Editing Systems and Real World Applications
TLDR
The role of building working co-editors in shaping OT andCRDT research and solutions, and consequential differences in the choice between OT and CRDT in real world co-ingitors and industry products are examined.
Towards the next generation of reactive model transformations on low-code platforms: three research lines
TLDR
Three research lines to improve the performance of reactive model transformations on low-code platforms are outlined, by motivating the research with a case study from a systems engineering domain.
Issues and Experiences in Building Heterogeneous Co-Editing Systems
Most past research efforts in co-editing focused on homogeneous co-editing, which allows multiple users to use the same editor to edit shared documents in the same session, and nearly all real-world
Specification and space complexity of collaborative text editing
TLDR
This paper provides a precise specification of a replicated abstract list object, which models the core functionality of replicated systems for collaborative text editing, and defines a strong list specification, which is proved to be implemented by an existing protocol, as well as a weak list specification which admits additional protocol behaviors.

References

SHOWING 1-10 OF 114 REFERENCES
Real Differences between OT and CRDT under a General Transformation Framework for Consistency Maintenance in Co-Editors
TLDR
A general transformation framework for consistency maintenance in co-editors is presented, which was distilled from dissecting and examining representative OT and CRDT solutions (and other alternative solutions) during this work, and reveals that CRDT is like OT in following a general transformation approach, but achieves the same transformation indirectly in contrast to OT direct transformation approach.
Real Differences between OT and CRDT in Building Co-Editing Systems and Real World Applications
TLDR
The role of building working co-editors in shaping OT andCRDT research and solutions, and consequential differences in the choice between OT and CRDT in real world co-ingitors and industry products are examined.
Operation context and context-based operational transformation
TLDR
The theory of operation context and the COT (Context-based OT) algorithm, a new theoretical framework for better understanding and resolving OT problems, reducing its complexity, and supporting its continual evolution are reported.
An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems
  • Du Li, Rui Li
  • Computer Science
    Computer Supported Cooperative Work (CSCW)
  • 2009
TLDR
This paper proposes an alternative framework, called admissibility-based transformation (ABT), that is theoretically based on formalized, provable correctness criteria and practically no longer requires transformation functions to work under all conditions.
Exhaustive search of puzzles in operational transformation
TLDR
A system of verification frameworks and a software tool are devised, independent of specific OT algorithms and able to ex-haustively cover all possible transformation cases in which puzzles (if any) will manifest themselves, and verified OT correctness.
Formal Verification of Operational Transformation
TLDR
This work formally model the OT-based collaborative editing systems and establishes their correctness, w.r.t. convergence and intention preservation, using a set of well-defined transformation conditions and properties, and uses model checking to verify the transformation properties for basic data and operational models.
Exhaustive Search and Resolution of Puzzles in OT Systems Supporting String-Wise Operations
TLDR
This research presents a set of concrete string-wise transformation functions capable of solving all known puzzles and preserving well-defined consistency requirements and contributes to the advancement of state-of-the-art of OT fundamental knowledge and technological innovation.
Ensuring content and intention consistency in real-time group editors
  • Du Li, Rui Li
  • Computer Science
    24th International Conference on Distributed Computing Systems, 2004. Proceedings.
  • 2004
TLDR
A novel state difference based transformation (SDT) algorithm is presented to solve the problem of consistency maintenance in real-time group editors and reveals that the standard priority schemes to break ties in distributed systems should be used with more caution.
Operational transformation for collaborative word processing
TLDR
An extension of OT is reported for supporting a generic Update operation, in addition to Insert and Delete operations, for collaborative word processing, which is relevant not only to word processors but also to a range of interactive applications that can be modelled as editors.
On Model-Checking Optimistic Replication Algorithms
TLDR
This paper formally defines the behavior and the convergence requirement of the collaborative editors, as well as the abstract behavior of the environment where these systems are supposed to operate, and shows how to exploit some features of such systems and the tool UPPAAL to attenuate the severe state explosion problem.
...
1
2
3
4
5
...