Formalisation of construction for CAD assembling processes

One of the mathematical models intended for design automation of assembly processes for a manufactured product, is analysed. Formal models are given to describe the design features on the basis of the oriented hypergraphs of limitations. The original method is proposed to generate a complete set of the assembling process modifications for a specific device. The technologist- designer prescribes definite limitations, and the generation is performed by the PC itself.