Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A selective undo mechanism for graphical user interfaces based on command objects
ACM Transactions on Computer-Human Interaction (TOCHI)
A framework for undoing actions in collaborative systems
ACM Transactions on Computer-Human Interaction (TOCHI)
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
Serialization of concurrent operations in a distributed collaborative environment
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
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
Reducing the problems of group undo
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
Undo as concurrent inverse in group editors
ACM Transactions on Computer-Human Interaction (TOCHI)
Preserving operation effects relation in group editors
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
A general multi-user undo/redo model
ECSCW'95 Proceedings of the fourth conference on European Conference on Computer-Supported Cooperative Work
Context-Based Operational Transformation in Distributed Collaborative Editing Systems
IEEE Transactions on Parallel and Distributed Systems
An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems
Computer Supported Cooperative Work
A sequence transformation algorithm for supporting cooperative work on mobile devices
Proceedings of the 2010 ACM conference on Computer supported cooperative work
An operational transformation based synchronization protocol for web 2.0 applications
Proceedings of the ACM 2011 conference on Computer supported cooperative work
A string-wise CRDT for group editing
Proceedings of the 17th ACM international conference on Supporting group work
F2FMI: A toolkit for facilitating face-to-face mobile interaction
Expert Systems with Applications: An International Journal
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: interaction modalities and techniques - Volume Part IV
A group Undo/Redo method in 3D collaborative modeling systems with performance evaluation
Journal of Network and Computer Applications
| Hi-index | 0.00 |
Selective undo allows users to undo any operation in the history and is considered a key feature in collaborative applications. Operational transformation (OT) is a powerful tool for implementing selective undo because it can be used to rearrange operations in a history in arbitrary orders. Despite the significant progress over the past two decades, however, there is still a space for improvements. Most existing works take time quadratic or even exponential in the size of the operation history H to undo an operation. Although this might be acceptable for real-time collaboration, it would be suboptimal in mobile and asynchronous collaborative applications in which a long history may accumulate. In addition, it is important to prove an algorithm with regard to the correctness criteria it assumes. This paper proposes a novel OT-based algorithm that provides integrated do and selective undo. The algorithm achieves time complexity of O(|H|) in both do and undo by keeping the history in a special operation effects relation order. Its correctness is formally proved with regard to formalized, provable conditions that are extended from a recent theoretical framework.