Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A framework for undoing actions in collaborative systems
ACM Transactions on Computer-Human Interaction (TOCHI)
High-latency, low-bandwidth windowing in the Jupiter collaboration system
Proceedings of the 8th annual ACM symposium on User interface and software technology
An integrating, transformation-oriented approach to concurrency control and undo in group editors
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
ACM Transactions on Computer-Human Interaction (TOCHI)
Operational transformation in real-time group editors: issues, algorithms, and achievements
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Operation transforms for a distributed shared spreadsheet
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
ACM Transactions on Computer-Human Interaction (TOCHI)
Reducing the problems of group undo
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
Copies convergence in a distributed real-time collaborative environment
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Undo as concurrent inverse in group editors
ACM Transactions on Computer-Human Interaction (TOCHI)
Generalizing operational transformation to the standard general markup language
CSCW '02 Proceedings of the 2002 ACM conference on Computer supported cooperative work
Flexible notification for collaborative systems
CSCW '02 Proceedings of the 2002 ACM conference on Computer supported cooperative work
Preserving operation effects relation in group editors
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Consistency maintenance based on the mark & retrace technique in groupware systems
GROUP '05 Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work
Transparent adaptation of single-user applications for multi-user real-time collaboration
ACM Transactions on Computer-Human Interaction (TOCHI)
Proving correctness of transformation functions in real-time groupware
ECSCW'03 Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work
Customizable collaborative editor relying on treeOPT algorithm
ECSCW'03 Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work
CoMaya: incorporating advanced collaboration capabilities into 3d digital media design tools
Proceedings of the 2008 ACM conference on Computer supported cooperative work
On Model-Checking Optimistic Replication Algorithms
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Context-Based Operational Transformation in Distributed Collaborative Editing Systems
IEEE Transactions on Parallel and Distributed Systems
A sequence transformation algorithm for supporting cooperative work on mobile devices
Proceedings of the 2010 ACM conference on Computer supported cooperative work
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
Dependency-conflict detection in real-time collaborative 3D design systems
Proceedings of the 2013 conference on Computer supported cooperative work
Achieving convergence in operational transformation: conditions, mechanisms and systems
Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing
Achieving convergence in operational transformation: conditions, mechanisms and systems
Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing
| Hi-index | 0.00 |
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 collaborative editing scenarios in which an OT system may fail. After many years of extensive search and research, a variety of intricate puzzles have been de-tected and resolved. However, it remains open whether all puzzles, under certain well-defined conditions, have been discovered. To address this issue, we set out to devise a system of verification frameworks and a software tool, that are independent of specific OT algorithms and able to ex-haustively cover all possible transformation cases in which puzzles (if any) will manifest themselves. With the support of these tools, we verified OT correctness and concluded: all puzzles, under basic data and operation models and established transformation properties, have been discov-ered and resolved. Our discoveries help resolve a number of long-standing mysteries surrounding OT correctness and contribute to the advancement of OT fundamental knowledge and technology.