计算机支持协同编辑系统是CSCW领域的一个重要研究方向，它允许多个用户通过计算机和通信网络对同一个共享文档同时进行编辑设计。与单用户编辑系统相比，协同编辑系统能够提高工作效率、节约时间、降低成本。目前对协同编辑系统的研究主要集中在语法层面上的一致性维护问题上，包括结果一致、因果一致和操作意图一致等，而对于语义层面上的一致性维护问题，即语义保持问题，则少有研究。但是，语义保持对于协同编辑系统来说有着极其重要的意义，因为用户的每一个操作都包含其特定的用户语义，对这些用户语义的任何误解都有可能会造成冲突问题的产生，从而降低协同工作的效率。而且，语义保持还无法仅仅通过已有的文档一致性维护算法来实现，因此，我们有必要对协同编辑系统中的语义保持问题进行研究。本文在国内外最新研究成果的基础上，对协同编辑系统中语义保持问题进行了深入的研究，具体内容包括：1、根据不同的标准对协同编辑系统中的各种语义进行分类、分析，并提出了新的语义分类方法，即按照语义所表达的信息内容不同，将语义分为描述性语义、数值约束语义、关系约束语义和个性化语义四种；2、对现有的几种语义保持模型的优缺点进行了比较，提出了一个新的基于语义知识库的语义保持模型。在该模型中，通过语义规则表达式来形式化地描述用户语义规则，并通过语义描述语言SDL将所有用户语义以文本方式存放在语义知识库文件中，以便下次编辑同一个文档时能够重新加载先前定义的所有用户语义；3、提出了语义知识库的三种不同维护方式，包括集中式维护、分布式维护和复制式维护，并简单介绍了各种维护方式下语义知识库的维护机制及其优缺点；4、在以复制式维护方式维护语义知识库的基础上，提出了语义冲突检测的四个时机，即在发起一个本地普通操作之后、在准备执行一个远程普通操作之时、在发起一个本地语义操作之后、在准备执行一个远程语义操作之时进行语义冲突检测，并以此为基础改进了原有的语义冲突解决算法。最后，本文在课题组的CoDesign原型系统基础上，对本文提出的几个关键技术进行了验证，设计并实现了一个基于复制式语义知识库的语义保持子系统。