В работе рассмотрены основные задачи, возникающие при разработке формальных методов синтеза ИС на основе системного анализа ОУ. Сформулирована задача конвертации бизнес-целей в идеологии построении ИС, которая должна проходить системно, с учетом всех других задач и показателей ОУ по критерию экономической эффективности в определенный период времени.
