Формальные описания объектов и процессов: примеры и методы