Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Real time groupware as a distributed system: concurrency control and its effect on the interface
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
A framework for undoing actions in collaborative systems
ACM Transactions on Computer-Human Interaction (TOCHI)
An editing-based characterization of the design space of collaborative applications
Journal of Organizational Computing - Special issue: organizational computing coordination and collaboration
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
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)
Design and evaluation of a conit-based continuous consistency model for replicated services
ACM Transactions on Computer Systems (TOCS)
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
Ensuring Content and Intention Consistency in Real-Time Group Editors
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
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
A landmark-based transformation approach to concurrency control in group editors
GROUP '05 Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work
A Performance Study of Group Editing Algorithms
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
An analysis of intention preservation in group editors
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Decentralized concurrency control for real-time collaborative editors
NOTERE '08 Proceedings of the 8th international conference on New technologies in 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
Coordination Model for Real-Time Collaborative Editors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
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
Replicated abstract data types: Building blocks for collaborative applications
Journal of Parallel and Distributed Computing
Optimistic and efficient concurrency control for asynchronous collaborative systems
ACSC '11 Proceedings of the Thirty-Fourth Australasian Computer Science Conference - Volume 113
| Hi-index | 0.00 |
Group editors allow a group of distributed human users to edit a shared multimedia document at the same time over a computer network. Consistency control in this environment must not only guarantee convergence of replicated data, but also attempt to preserve intentions of operations. Operational transformation (OT) is a well-established method for optimistic consistency control in this context and has drawn continuing research attention since 1989. However, counterexamples to previous works have often been identified despite the significant progress made on this topic over the past 15 years. This paper analyzes the root of correctness problems in OT and establishes a novel operational transformation framework for developing OT algorithms and proving their correctness.