Рассмотрены концепция системы управления специализированного банка знаний о преобразованиях программ и текущее состояние системы управления. Представлена архитектурно-контекстная диаграмма системы управления и ее формальная модель. Ключевые слова: системы управления, трансформация программ, банк знаний, оптимизирующий компилятор, преобразователь программ.
