Automatic generating of the symbolic mathematical models of robotic mechanisms belongs to the class of problems of combinative optimisation. One way of dealing with this problem is the application of object-oriented approach to design of the system for mathematical modelling of robotic mechanisms. This paper presents formal specification of the system for reducing the numerical complexity of the polynomial expressions forming the robotic mechanism model, using the Unified Modelling Language.