Построение моделей программной системы