Формальное описание реальных объектов