表格文档模型中实时编辑意愿维护及一致性维护研究

Research on Intention Preservation and Consistency Maintenance of Real-time Editing with Table Document Model

实时编辑工作中,用户通常使用很多协同编辑工具来实现协作和交流,包括文本编辑工具,图形编辑工具等.这些文档在处理过程中都先被映射为线性文档模型,再运用操作转换技术或者地址空间转换技术实现实时编辑下的意愿维持及一致性维护.然而,在表格文档模型下,现有的基于线性文档模型的算法已不能适应新的环境,不能满足既有文字编辑又有表格结构编辑的需求.本文主要针对具有非线性特点的表格文档模型下的用户意愿维护问题及文档状态一致性问题进行研究,解决办法是结合已有的一致性维护技术,提出基于操作转换思想的GOTO-Table算法.并给出算法效率分析及实例证明.

In the real-time collaborative work,in order to achieve cooperation and collaboration,people often use different kinds of edi- ting tools,including text editor, graph editor, etc. These documents are first formatted to linear document model,and then, operation trans- formation technique or address space transformation technique is introduced to realize intention preservation and consistency mainte- nance. However,existing algorithms based on the linear model neither adapt to the new environment of table document model nor meet the editing requirements of both characters and table structures. This paper mainly focuses on the table document model with non-linear feature, including the problem of users＇ intentions and the consistency maintenance of the shared objects among distributed sites under the model. According to the feature and some existing consistency maintenance technologies, a solution named GOTO-Table algorithm is pro- posed based on the idea of operation transformation. Efficiency analysis of the algorithm is given, along with its proof of one case.