Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems
Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems
复制标题
DOI：
10.1145/2145204.2145411
复制
发表时间：
2012-02
期刊：
影响因子：
--
通讯作者：
Chengzheng Sun;Hongkai Wen;Hongfei Fan
中科院分区：
文献类型：
--
作者：
Chengzheng Sun;Hongkai Wen;Hongfei Fan
操作转换(OT)通常用于实时协作应用中的冲突解决，但现有的操作转换技术都不能解决一种特殊类型的冲突--正交冲突，当并发操作在二维(2D)工作空间的不同维度中插入/删除任意数量的对象时，例如电子表格文档，可能会发生这种冲突。本文首次通过扩展OT来识别和解决正交冲突问题，使其具有解决二维冲突的能力。将OT从一维冲突解决扩展到二维冲突解决是OT理论和应用的基础，也是技术上的挑战，因为2D正交冲突不同于一维位置移位冲突，但又与之密切相关，因此需要针对多维冲突提出新的整体解决方案。本文给出了2DOT解决方案的正交化冲突的形式化定义、伪码描述、设计原理分析、正确性验证和复杂性分析。
Operational Transformation (OT) is commonly used for conflict resolution in real-time collaborative applications, but none of existing OT techniques is able to solve a special type of conflict - orthogonal conflict, which may occur when concurrent operations are inserting/deleting an arbitrary number of objects in different dimensions of a two-dimensional (2D) workspace, such as spreadsheet documents. This paper is the first to identify and solve the orthogonal conflict problem by extending OT with a new capability of resolving 2D conflicts. Extending OT from one- to two-dimensional conflict resolution is fundamental to the theory and application of OT, and technically challenging as well because 2D orthogonal conflict is different from but intimately related to the one-dimensional positional shifting conflict and necessitates new and integral solutions for multi-dimensional conflicts. In this paper, we present formal definitions of orthogonal conflict, pseudo-code description, design rationale analysis, and correctness verification and complexity analysis of the 2DOT solution.