An analysis of intention preservation in group editors

Group editors allow a distributed group of users to collaboratively edit shared documents such as source code and web pages. As a well-accepted consistency control method in group editors, operational transformation (OT) is intuitively believed to be able to preserve operation intentions. However, intention preservation as a consistency constraint has not been rigorously formalized, making it difficult to design OT algorithms and prove their correctness. This work proposes a formalization of intention preservation and analyzes several OT-based approaches to achieving it.

[1]  Rui Li,et al.  A New Operational Transformation Framework for Real-Time Group Editors , 2007, IEEE Transactions on Parallel and Distributed Systems.

[2]  Chengzheng Sun,et al.  Operational transformation in real-time group editors: issues, algorithms, and achievements , 1998, CSCW '98.

[3]  Nicolas Vidot,et al.  Copies convergence in a distributed real-time collaborative environment , 2000, CSCW '00.

[4]  David Sun,et al.  Operation context and context-based operational transformation , 2006, CSCW '06.

[5]  Haifeng Shen,et al.  Flexible notification for collaborative systems , 2002, CSCW '02.

[6]  Matthias Ressel,et al.  An integrating, transformation-oriented approach to concurrency control and undo in group editors , 1996, CSCW '96.

[7]  Rui Li,et al.  A time interval based consistency control algorithm for interactive groupware applications , 2004, Proceedings. Tenth International Conference on Parallel and Distributed Systems, 2004. ICPADS 2004..

[8]  Yanchun Zhang,et al.  Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems , 1998, TCHI.

[9]  Pascal Molli,et al.  Proving correctness of transformation functions in collaborative editing systems , 2005 .

[10]  Clarence A. Ellis,et al.  Concurrency control in groupware systems , 1989, SIGMOD '89.

[11]  Rok Sosic,et al.  Optimal locking integrated with operational transformation in distributed real-time group editors , 1999, PODC '99.

[12]  Rui Li,et al.  Commutativity-based concurrency control in groupware , 2005, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing.

[13]  Jean Ferrié,et al.  Concurrent operations in a distributed and mobile collaborative environment , 1998, Proceedings 14th International Conference on Data Engineering.

[14]  Rui Li,et al.  Preserving operation effects relation in group editors , 2004, CSCW.