期刊
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
卷 100, 期 -, 页码 473-497出版社
ELSEVIER
DOI: 10.1016/j.future.2019.05.021
关键词
Consistency maintenance; OT (operational transformation); CRDT; Selective undo; Co-CAD
资金
- National Science Foundation of China [61472289, 61502353, 61802355]
- National Key Research and Development Project, China [2016YFC0106305]
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据