Automatic generating of the symbolic mathematical models of robotic mechanisms belongs to the class of problems of combinational optimisation. To cope with the mathematical complexity in solving this problem one requires developing of special algorithms and data structures. One way for dealing with this problem is the application of object-oriented approach to design the system for mathematical modelling of robotic mechanisms. This paper presents a formal specification of the system for robotic mechanisms modelling using the Unified Modelling Language.