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

摘要

实时编辑工作中,用户往往会用到很多协同编辑工具,包括文本编辑工具,图形编辑工具,设计文档编辑工具等.这些文档在处理过程中都首先被映射为线性文档模型,在此基础上运用操作转换技术或者地址空间转换技术实现实时编辑下的意愿维持及一致性维护.然而,在表格文档模型下,现有的基于线性文档模型的算法已不能适应新的环境,不能完全满足表格文档模型下既有文字编辑又包含表格结构调整的需求.本文主要针对具有非线性特点的表格文档模型来进行研究,所做工作主要围绕以下两方面:一是此环境下用户意愿维护问题,二是各站点间共享对象的一致性问题.本文根据表格编辑环境非线性特点,结合已有的一致性维护技术,提出基于操作转换思想且适应于表格文档协同编辑的解决办法GOTO-Table算法.并给出了算法的效率分析及正确性证明.