富文本协同编辑中基于树型结构地址空间转换的一致性维护  

Consistency Maintenance of Address Space Transformation Based on Tree Structure in Collaborative Rich Text Editing

作　　者：刘亚[1] 韩建功 高丽萍[1,2] 曲博 LIU Ya;HAN Jiangong;GAO Liping;QU Bo(Dept of Computer Science and Engineering,University of Shanghai for Science and Technology,Shanghai 200093,China;Shanghai Key Laboratory of Data Science,Fudan University,Shanghai 200433,China;Cyberspace Security Research Center,Peng Cheng Laboratory,Shenzhen 518066,China)

机构地区：[1]上海理工大学光电信息与计算机工程学院,上海200093 [2]复旦大学上海市数据科学重点实验室,上海200433 [3]鹏城实验室网络空间安全中心,广东深圳518066

出　　处：《小型微型计算机系统》2024年第2期367-373,共7页Journal of Chinese Computer Systems

基　　金：广东省重点研发计划项目(2019B010136003)资助。

摘　　要：协同编辑通过多用户远程实时编辑,最大程度的支持团队之间的协作和交流.撤销操作作为协同编辑的一个重要特性,通过错误恢复简化协作编辑过程中产生的错误或者意外操作的处理过程.富文本编辑采用树型结构来进行文档管理,从而产生了较线性文档更为复杂的并发操作环境和冲突消解场景.为了解决富文本文档中的并发操作环境与撤销操作冲突问题,本文提出了一种新颖的基于树型结构的地址空间转换方法,采用基于位置的节点寻址方案和节点属性值计数器策略,能更方便地支持撤销操作与更改操作.此外,本文还给出了树型结构地址空间的结果一致性的正确性证明及详细的案例分析,并开发了Web平台下实时协同富文本编辑原型系统AST-RichText,进一步验证了该方法的可行性.Collaborative editing supports maximum collaboration and communication between teams through multi-user remote editing in real time.Undo,an important feature of collaborative editing,simplifies the process of handling errors or accidental operations generated during collaborative editing by error recovery.Rich text editing uses a tree structure for document management,which results in a more complex concurrent operation environment and conflict resolution scenario than linear documents.In order to solve the concurrent operation environment and Undo conflict problem in rich text documents,this paper proposes a novel address space conversion method based on the tree structure,using a location-based node addressing scheme and a node attribute value counter strategy,which can more easily support Undo and change operations.Moreover,this paper also gives a detailed case study and the process of proving the consistency of the results of the tree-structured address space,and develops a real-time collaborative rich text editing prototype system,AST-Slate,on the Web platform to further verify the feasibility of the method.

关 键 词：计算机支持的协同工作 实时协同编辑 地址空间转换 一致性模型 UNDO 树型文档 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]