Построение моделей с использованием формальных языков: этапы и примеры