An OBJ3 functional specification for boundary representation
The use of formal techniques for specifying the behavior of data and operations dealing with boundary representation of solids is advocated. Modular building of functional algebraic specifications for generalized maps using OBJ3 system is described, going from atomic objects and operations to more complex ones. Some theoretical aspects are studied, particularly normalization, comparison and proof of properties of generalized maps. It is also shown how the qualities of the specifications and of the conditional rewriting system associated with can be proved. Extensions allow the handling of geometry as well as topology in the same framework. Based on these specifications, the project now in progress of a 3D solid modeler which uses C language is presented.