当前位置: X-MOL 学术Front. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A semi-transparent selective undo algorithm for multi-user collaborative editors
Frontiers of Computer Science ( IF 4.2 ) Pub Date : 2021-06-05 , DOI: 10.1007/s11704-020-9518-x
Weiwei Cai , Fazhi He , Xiao Lv , Yuan Cheng

Multi-user collaborative editors are useful computer-aided tools to support human-to-human collaboration. For multi-user collaborative editors, selective undo is an essential utility enabling users to undo any editing operations at any time. Collaborative editors usually adopt operational transformation (OT) to address concurrency and consistency issues. However, it is still a great challenge to design an efficient and correct OT algorithm capable of handling both normal do operations and user-initiated undo operations because these two kinds of operations can interfere with each other in various forms. In this paper, we propose a semi-transparent selective undo algorithm that handles both do and undo in a unified framework, which separates the processing part of do operations from the processing part of undo operations. Formal proofs are provided to prove the proposed algorithm under the well-established criteria. Theoretical analysis and experimental evaluation are conducted to show that the proposed algorithm outperforms the prior OT-based selective undo algorithms.



中文翻译:

一种多用户协同编辑器的半透明选择性撤销算法

多用户协作编辑器是有用的计算机辅助工具,可支持人与人之间的协作。对于多用户协作编辑器,选择性撤消是一个必不可少的实用程序,使用户可以随时撤消任何编辑操作。协作编辑器通常采用操作转换 (OT) 来解决并发和一致性问题。然而,设计一种高效且正确的 OT 算法能够处理正常的 do 操作和用户发起的 undo 操作仍然是一个巨大的挑战,因为这两种操作可以以各种形式相互干扰。在本文中,我们提出了一种半透明的选择性撤消算法,该算法在一个统一的框架中处理 do 和 undo,将 do 操作的处理部分与 undo 操作的处理部分分开。提供了正式的证明以在完善的标准下证明所提出的算法。理论分析和实验评估表明,该算法优于现有的基于OT的选择性撤销算法。

更新日期:2021-06-05
down
wechat
bug