1995 Volume 61 Issue 592 Pages 4825-4833
Constraint conditions of previously reported mathematical data models, geometric cell complex chains (basic models), are theoretically defined as a basis for verifying the integrity of topology-based shape representation model data. These constraint conditions are mainly classified into three conditions, called cell conditions, complex conditions and chain conditions. Constraint conditions of mathematical shape models, so-called well-formedness conditions, can be derived from these constraint conditions and shape model transformation of these mathematical data models. Methods for applying constraint conditions of these mathematical data models to the integrity verification of the topology-based non-manifold shape representation model data and so-called solid boundary representation model data are described.