Assistance with product-model construction is a fundamental task for computer-aided-design systems. A general mechanism for recording and manipulating model-construction process in computers is proposed in the paper. The model-construction process is considered as a series of model state transitions realized by modeling operations. This process can only be properly recorded with dependencies between the operations. The dependency information is automatically detected on the basis of the conditions necessary for the execution of an operation. An assumption-based truth-maintenance system is used as a tool for recording and manipulating the dependency. Two basic functions for assisting with model-construction activities, an undo function and a model-maintenance function, are realized by using the dependency in a uniform manner. The applicability of these functions is verified using interactive-solid-modeling and machining process-planning examples. © 1993.
Inui, M., & Kimura, F. (1993). Using a truth-maintenance system to assist product-model construction for design and process planning. Computer-Aided Design, 25(1), 59–70. https://doi.org/10.1016/0010-4485(93)90066-W