首页> 外文期刊>Future generation computer systems >Integrating selective undo of feature-based modeling operations for real-time collaborative CAD systems
【24h】

Integrating selective undo of feature-based modeling operations for real-time collaborative CAD systems

机译:为实时协作CAD系统集成基于特征的建模操作的选择性撤消

获取原文
获取原文并翻译 | 示例
           

摘要

In collaborative editing systems, selective undo is a fundamental function that allows dispersed users to undo any executed operation in the history. Most selective undo mechanisms have been applied in collaborative editing systems with simple objects (plain text or image). However, how to provide a selective undo mechanism for collaborative editing systems with complex objects (feature-based CAD model) has been a technical challenge. This paper proposes a novel CRDT (Conflict-free Replicated Data Type)-based selective undo mechanism for feature-based Co-CAD (Collaborative CAD) systems. Firstly, a selective undo framework is presented to integrate (do/undo) operations. Secondly, three constraint relations of (do/undo) operations are defined and feature-based conflict detection conditions are proposed to detect the three constraint relations. Thirdly, a CRDT-based conflict resolution approach is proposed to integrate (do/undo) operations. Fourthly, collaborative case studies illustrate how the selective undo mechanism works and achieves consistent results. Finally, the complexities in theory are analyzed and the formal proofs are provided to verify the correctness. (C) 2019 Elsevier B.V. All rights reserved.
机译:在协作编辑系统中,选择性撤消是一项基本功能,它允许分散的用户撤消历史记录中已执行的任何操作。大多数选择性撤消机制已应用于具有简单对象(纯文本或图像)的协作编辑系统中。但是,如何为具有复杂对象(基于功能的CAD模型)的协作编辑系统提供选择性撤消机制一直是一项技术挑战。本文提出了一种新颖的基于CRDT(无冲突复制数据类型)的选择性撤消机制,用于基于特征的Co-CAD(协作CAD)系统。首先,提出了一个选择性撤消框架来集成(执行/撤消)操作。其次,定义了(do / undo)操作的三个约束关系,并提出了基于特征的冲突检测条件来检测这三个约束关系。第三,提出了一种基于CRDT的冲突解决方法来集成(执行/撤消)操作。第四,合作案例研究说明了选择性撤消机制如何工作并取得一致的结果。最后,分析了理论上的复杂性,并提供了形式证明来验证其正确性。 (C)2019 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号