Язык спецификации классов объектов в инструментальной системе моделированиястатья