Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Groupware: some issues and experiences
Communications of the ACM
Unblocking brainstorming through the use of a simple group editor
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
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
ACM Transactions on Computer-Human Interaction (TOCHI)
Ensuring privacy in presence awareness: an automated verification approach
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Copies convergence in a distributed real-time collaborative environment
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Consistency maintenance in real-time collaborative graphics editing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Cooperative visual manipulation of music notation
ACM Transactions on Computer-Human Interaction (TOCHI)
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
Concurrent Operations in a Distributed and Mobile Collaborative Environment
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Using the transformational approach to build a safe and generic data synchronizer
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
A Time Interval Based Consistency Control Algorithm for Interactive Groupware Applications
ICPADS '04 Proceedings of the Parallel and Distributed Systems, Tenth International Conference
Operational transformation for collaborative word processing
CSCW '04 Proceedings of the 2004 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
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
A Performance Study of Group Editing Algorithms
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Data consistency for P2P collaborative editing
CSCW '06 Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work
Operation context and context-based operational transformation
CSCW '06 Proceedings of the 2006 20th anniversary conference on Computer supported cooperative 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
A New Operational Transformation Framework for Real-Time Group Editors
IEEE Transactions on Parallel and Distributed Systems
An Operational Transformation Algorithm and Performance Evaluation
Computer Supported Cooperative Work
An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors
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 algorithm for selective undo of any operation in collaborative applications
Proceedings of the 16th ACM international conference on Supporting group work
An operational transformation based synchronization protocol for web 2.0 applications
Proceedings of the ACM 2011 conference on Computer supported cooperative work
A partial replication approach for anywhere anytime mobile commenting
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) as a consistency control method has been well accepted in group editors. With OT, the users can edit any part of a shared document at any time and local responsiveness is not sensitive to communication latencies. However, established theoretical frameworks for developing OT algorithms either require transformation functions to work in all possible cases, which complicates the design of transformation functions, or include an under-formalized condition of intention preservation, which results in algorithms that cannot be formally proved and must be fixed over time to address newly discovered counterexamples. To address those limitations, 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. Compared to previous approaches, ABT simplifies the design and proofs of OT algorithms.