基于图形对象的一致性维护问题的研究

摘要

协同图形编辑系统支持地域分散的一组设计群体通过网络同步高效地浏览、操作和修改共享的图形文档，而其中全复制结构下协同过程中的一致性维护和语义保持是协同设计相关研究领域内的关键问题。
　　 本文在总结国内外相关研究成果的基础上，设计并实现了一种基于操作转换的图形一致性维护和预定义约束条件的语义保持方法。论文主要研究内容与成果概括如下：
　　 1.针对协同图形编辑系统一致性模型，深入研究和分析了三类不一致性问题产生的原因和表现形式以及常用的一致性维护方法，在此基础上设计了一种改进的基于操作转换的并发控制算法。该算法能够满足一致性模型的三个必要条件，有效地处理了图形对象属性级操作间的冲突检测和消解，从而保证了系统在设计过程中的并发性和协同性。
　　 2.在分析和讨论几种常用的语义保持模型的基础上设计了一种基于语义规则库的语义保持模型，并在此基础上提出了一种基于预定义约束条件的操作语义保持方法。该方法充分考虑多个图形对象在空间位置上的关联关系的情况，在一定程度上有效地保持了并发操作过程中的用户语义。
　　 在上述算法研究的基础上，作者进行了原型系统的开发和实现，并进行了一些算例验证，算例结果验证了本文所设计的一致性维护和语义维护算法的正确性和有效性。