论文部分内容阅读
随着信息化的全面推进和网络技术的迅猛发展,计算机支持的协同工作(Computer Supported Cooperative Work,CSCW)越来越受到人们的青睐。协同编辑是CSCW的研究热点,应用前景广阔,自提出就受到人们的广泛关注。它是单用户编辑的扩展,支持多用户不受地理位置和时空分割的限制随时随地的对共享文档进行编辑。它能使协同用户充分利用自己的时间,提高工作效率。其中并发控制和一致性维护是协同编辑的主要研究方向。本文主要针对协同图形编辑中的并发控制和一致性维护展开研究。在并发控制方面,提出一种基于上下文的转换控制算法TICOT(Two-side Improved Context-based Operational transformation)。在一致性维护方面,通过引入图形的编辑语义,凝练出语义操作,将语义操作和编辑操作综合,设计出适用于图形编辑环境的包含转换函数,解决了包括语义保持在内的四种一致性维护。针对并发控制,分析协同编辑中常用并发控制算法和不足,并对基于上下文的操作转换算法COT(Context-based Operational transformation)进行分析,对算法中存在的操作转换冗余问题进行深入探讨。引入操作序列上下文有序和操作序列全序的概念,从本地操作的组合传播和远程操作的接收转换两个方面对COT算法进行改进。最后,对TICOT控制的协同操作间的转换执行进行实例模拟,并对改进前后的算法进行实验模拟,验证改进后算法能有效的减少远程操作的响应时间。针对一致性维护,引入了图形编辑语义问题。首先对协同编辑中的语义进行系统的分类及表述,凝练出适用于上下文条件的语义操作;其次,详细分析了协同图形编辑中编辑操作和语义操作之间的冲突/相容关系;然后,通过对操作的优先权限进行设置,根据包含转换函数的定义,设计出适用于协同图形编辑的包含转换函数。最后,将转换控制算法TICOT和设计好的包含转换函数整合,从理论上证明提出的并发控制和一致性维护算法的有效性和正确性。最后,设计了协同图形编辑的原型。在原型中重点实现了转换控制算法和包含转换函数,通过实例验证了整体并发控制算法的可行性。