This paper is concerned with "open kernel" geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. The necessary mixed-dimension cellular objects are formally defined as the fundamental data abstractions for that interface. Such definitions are imperative for the construction of robust functions and the integrity of data transfer. As an example, formal specifications are provided for "set-like" object combination functions.
展开▼