research-article

Exhaustive Search and Resolution of Puzzles in OT Systems Supporting String-Wise Operations

Authors: Chengzheng Sun,

Yi Xu, Agustina NgAuthors Info & Claims

CSCW '17: Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing

Pages 2504 - 2517

https://doi.org/10.1145/2998181.2998252

Published: 25 February 2017 Publication History

Abstract

OT (Operational Transformation) is a consistency maintenance technique for real-time collaborative editors and a continuous topic of research in CSCW for over two-decades. One main challenge in OT research is to detect and resolve puzzles -- characteristic collaboration scenarios or transformation cases in which an OT system may fail to produce consistent results. A long-standing open issue is whether we can find and solve all possible puzzles in OT systems supporting string-wise operations under well-defined consistency requirements. In this paper, we present our research that solves this open problem and a set of concrete string-wise transformation functions capable of solving all known puzzles and preserving well-defined consistency requirements. Our results contribute to the advancement of state-of-the-art of OT fundamental knowledge and technological innovation.

References

[1]

Agustina, F. Liu, S. Xia, H.F. Shen, and C. Sun. CoMaya: Incorporating advanced collaboration capabilities into 3D digital media design tools. ACM CSCW (2008), 5--8.

Digital Library

[2]

Agustina and C. Sun. Dependency-conflict detection in real-time collaborative 3D design systems. ACM CSCW (2013), 715--728.

Digital Library

[3]

Agustina and C. Sun. Operational Transformation for real-time synchronization of shared workspace in cloud storage. ACM GROUP (2016).

[4]

J. Begole, M.B. Rosson, and C.A. Shaffer. Flexible collaboration transparency: supporting worker independence in replicated application-sharing systems. ACM TOCHI 6, 2 (1999), 95--132.

Digital Library

[5]

H. Boucheneb, and A. Imine. On model-checking optimistic replication algorithms. FORTE on Formal Techniques for Distributed Systems (2009), 73--89

Digital Library

[6]

C.A. Ellis, and S.J. Gibbs. Concurrency control in groupware systems. ACM SIGMOD (1989), 399--407.

Digital Library

[7]

N. Gu, J. Yang, and Q. Zhang. Consistency maintenance based on the mark & retrace technique in groupware systems. ACM GROUP (2005), 264--273.

Digital Library

[8]

A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Proving correctness of transformation functions in realtime groupware. ECSCW (2003), 277--293.

Digital Library

[9]

M. Koch, and G. Schwabe. Interview with Jonathan Grudin on "Computer-Supported Cooperative Work and Social Computing". Bus Inf Syst Eng.

[10]

1007/s12599-015-0377--1. Springer. Published online: 03 March 2015. 10. L. Lamport. Time, clocks, and the ordering of events in a distributed system. CACM 21, 7 (1978), 558--565.

Digital Library

[11]

D. Li, and R. Li. Preserving operation effects relation in group editors. ACM CSCW (2004), 427--466.

Digital Library

[12]

Y. Liu, Y. Xu, S. Zhang, and C. Sun. Formal verification of operational transformation. Proc. of the 19th International Symposium on Formal Methods (2014), 432--448.

Digital Library

[13]

G. Oster, et al. Tombstone transformation functions for ensuring consistency in collaborative editing systems. IEEE Conf. CollaborateCom (2006), 1--10.

[14]

D. Nichols, P. Curtis, M. Dixon, and J. Lamping. High latency, low-bandwidth windowing in the Jupiter collaboration system. ACM UIST (1995), 111--120.

Digital Library

[15]

A. Prakash, and M. Knister. A framework for undoing actions in collaborative systems. ACM TOCHI 1, 4 (1994), 295--330.

Digital Library

[16]

N. Preguiça, et al. A commutative replicated data type for cooperative editing. IEEE ICDCS (2009), 395--403.

Digital Library

[17]

M. Ressel, N. Ruhland, and R. Gunzenhauser. An integrating, transformation-oriented approach to concurrency control and undo in group editors. ACM CSCW (1996), 288--297.

Digital Library

[18]

C.S. Robert. Collaborative editing for mission control. Third Int. Workshop on Collaborative Editing Systems, in conjunction with ACM GROUP (2001).

[19]

B. Shao, D. Li, and N. Gu. A sequence transformation algorithm for supporting cooperative work on mobile devices. ACM CSCW (2010), 159--168.

Digital Library

[20]

B. Shao, D. Li, and N. Gu. An optimized string transformation algorithm for real-time group editors. IEEE ICPADS (2009), 376--383.

Digital Library

[21]

B. Shao, D. Li, and N. Gu. ABTS: A transformation based consistency control algorithm for wide-area collaborative applications. IEEE Collaborate Com (2009).

[22]

H.F. Shen, and C. Sun. A log compression algorithm for operation-based version control systems. IEEE Conf. on Computer Software and Application (2002), 867--872.

Digital Library

[23]

C. Sun, and C.A. Ellis. Operational transformation in real-time group editors: issues, algorithms, and achievements. ACM CSCW (1998), 59--68.

Digital Library

[24]

C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen. Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems. ACM TOCHI 5, 1 (1998), 63--108.

Digital Library

[25]

C. Sun. Undo as concurrent inverse in group editors. ACM TOCHI 9, 4 (2002), 309--361.

Digital Library

[26]

C. Sun, S. Xia, D. Sun, D. Chen, H.F. Shen, and W. Cai. Transparent adaptation of single-user applications for multi-user real-time collaboration. ACM TOCHI 13, 4 (2006), 531--582.

Digital Library

[27]

D. Sun, and C. Sun. Context-based operational transformation in distributed collaborative editing systems. IEEE TPDS 20, 10 (2009), 1454--1470.

Digital Library

[28]

C. Sun. OTFAQ: Operational Transformation Frequently Asked Questions and Answers. http://www.ntu.edu.sg/home/czsun/projects/otfaq.

[29]

C. Sun, Agustina, and Y. Xu. Exploring operational transformation: from core algorithms to real-world applications. ACM CSCW (2011) demo.

[30]

C. Sun, H. Wen, and H. Fan. Operational transformation for orthogonal conflict resolution in collaborative 2-dimensional document editors. ACM CSCW (2012), 1391--1400.

Digital Library

[31]

C. Sun, Y. Xu, and Agustina. Exhaustive search of puzzles in operational transformation. ACM CSCW (2014), 519--529.

Digital Library

[32]

N. Vidot, M. Cart, J. Ferrie, and M. Suleiman. Copies convergence in a distributed real-time collaborative environment. ACM CSCW (2000), 171--180.

Digital Library

[33]

D. Wang, A. Mah, and S. Lassen. Google wave operational transformation. http://www.waveprotocol. org/whitepapers/operational-transform.

[34]

Y. Xu, and C. Sun. Conditions and patterns for achieving convergence in OT-based co-editors. IEEE Trans. on Parallel and Distributed Systems, 27, 3 (2016), 695--709. APPENDIX of this paper can be found at http:// www.ntu.edu.sg/home/czsun/cscw2017_337_Appendix.pdf

Digital Library

Cited By

Ma YQi BXu WWang MDu BFan H(2022)Integrating Real-Time and Non-Real-Time Collaborative ProgrammingProceedings of the ACM on Human-Computer Interaction10.1145/35675637:GROUP(1-19)Online publication date: 29-Dec-2022
https://dl.acm.org/doi/10.1145/3567563
Litt GLim SKleppmann Mvan Hardenberg P(2022)Peritext: A CRDT for Collaborative Rich Text EditingProceedings of the ACM on Human-Computer Interaction10.1145/35556446:CSCW2(1-36)Online publication date: 11-Nov-2022
https://dl.acm.org/doi/10.1145/3555644
Zhou HMa YXu WWang MDu BFan H(2022)Context-based Operation Merging in Real-Time Collaborative Programming Environments2022 IEEE 25th International Conference on Computer Supported Cooperative Work in Design (CSCWD)10.1109/CSCWD54268.2022.9776234(1426-1431)Online publication date: 4-May-2022
https://doi.org/10.1109/CSCWD54268.2022.9776234
Show More Cited By

Index Terms

Exhaustive Search and Resolution of Puzzles in OT Systems Supporting String-Wise Operations
1. Human-centered computing
  1. Collaborative and social computing

Recommendations

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

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 ...
Real Differences between OT and CRDT under a General Transformation Framework for Consistency Maintenance in Co-Editors
GROUP

OT (Operational Transformation) was invented for supporting real-time co-editors in the late 1980s and has evolved to become a collection of core techniques widely used in today's working co-editors and adopted in major industrial products. CRDT (...
Exhaustive search of puzzles in operational transformation
CSCW '14: Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing

Operational Transformation (OT) is a collaboration-enabling technology and increasingly adopted in a wide range of real-world applications. One long-lasting issue in OT research is detecting and resolving puzzles -- subtle and characteristic ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CSCW '17: Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing

February 2017

2556 pages

ISBN:9781450343350

DOI:10.1145/2998181

General Chairs:
Charlotte P. Lee
University of Washington
,
Steve Poltrock
Retired
,
Program Chairs:
Louise Barkhuus
Stockholm University and Cornell Tech
,
Marcos Borges
Universidade Federal do Rio de Janeiro
,
Wendy Kellogg
IBM T.J. Watson Research Center

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 February 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Academic Research Fund Tier 2 Grant MOE Singapore

Conference

CSCW '17

Sponsor:

SIGCHI

CSCW '17: Computer Supported Cooperative Work and Social Computing

February 25 - March 1, 2017

Oregon, Portland, USA

Acceptance Rates

CSCW '17 Paper Acceptance Rate 183 of 530 submissions, 35%;

Overall Acceptance Rate 2,235 of 8,521 submissions, 26%

Upcoming Conference

CSCW '25

Sponsor:
sigchi

Computer-Supported Cooperative Work and Social Computing

October 18 - 22, 2025

Bergen , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
202
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ma YQi BXu WWang MDu BFan H(2022)Integrating Real-Time and Non-Real-Time Collaborative ProgrammingProceedings of the ACM on Human-Computer Interaction10.1145/35675637:GROUP(1-19)Online publication date: 29-Dec-2022
https://dl.acm.org/doi/10.1145/3567563
Litt GLim SKleppmann Mvan Hardenberg P(2022)Peritext: A CRDT for Collaborative Rich Text EditingProceedings of the ACM on Human-Computer Interaction10.1145/35556446:CSCW2(1-36)Online publication date: 11-Nov-2022
https://dl.acm.org/doi/10.1145/3555644
Zhou HMa YXu WWang MDu BFan H(2022)Context-based Operation Merging in Real-Time Collaborative Programming Environments2022 IEEE 25th International Conference on Computer Supported Cooperative Work in Design (CSCWD)10.1109/CSCWD54268.2022.9776234(1426-1431)Online publication date: 4-May-2022
https://doi.org/10.1109/CSCWD54268.2022.9776234
Cai WHe FYang SLv XCheng Y(2022)Self‐compressing object sequence for consistency maintenance in co‐editorsSoftware: Practice and Experience10.1002/spe.309052:8(1802-1825)Online publication date: 21-Apr-2022
https://doi.org/10.1002/spe.3090
Sun CSun DNg ACai WCho B(2020)Real Differences between OT and CRDT under a General Transformation Framework for Consistency Maintenance in Co-EditorsProceedings of the ACM on Human-Computer Interaction10.1145/33751864:GROUP(1-26)Online publication date: 4-Jan-2020
https://dl.acm.org/doi/10.1145/3375186
Cho BSun CNg A(2019)Issues and Experiences in Building Heterogeneous Co-Editing SystemsProceedings of the ACM on Human-Computer Interaction10.1145/33611263:GROUP(1-28)Online publication date: 5-Dec-2019
https://dl.acm.org/doi/10.1145/3361126
Sun C(2017)Reflections on collaborative editing research: From academic curiosity to real-world application2017 IEEE 21st International Conference on Computer Supported Cooperative Work in Design (CSCWD)10.1109/CSCWD.2017.8066663(10-17)Online publication date: Apr-2017
https://doi.org/10.1109/CSCWD.2017.8066663
Fan HZhu HLiu QShi YSun C(2017)A Novel DAL Scheme With Shared-Locking for Semantic Conflict Prevention in Unconstrained Real-Time Collaborative ProgrammingIEEE Access10.1109/ACCESS.2017.27609145(22566-22583)Online publication date: 2017
https://doi.org/10.1109/ACCESS.2017.2760914

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten