Object-oriented Representation of Mechanical Systems for the Automated Design

At the decision of practical task in the technique of presentation of 2-D and 3-D objects there is a problem of choice of optimum calculation chart which is based on a number of concrete methods of formal design. We developed authoring system of computer-aided design, that is based on special language of presentation of geometrical primitives, that allows a design engineer to create reliable models in his subject domain, and it differs from the traditional methods of presentation of objects in mechanics and construction. The modeling language was presented as a formal system, that allows to formulate and formally prove its qualities.