Аннотации:
В работе представлен теоретико-категорный подход к формализации процессов разработки программных систем, позволяющий единообразно описать многие известные технологии программирования. В качестве отправной точки для выработки подхода использована конструкция формальной дисциплины проектирования, введенной Х. Фиадейро и его учениками. Выделен ряд классов формальных дисциплин, встречающихся в практике программирования. На языке теории категорий сформулированы и исследованы задачи синтеза систем: применение шаблонов комплексирования, выявление оптимальной архитектуры, выбор интеграционных интерфейсов, распараллеливание, покомпонентная трансформация систем, разработка специализированных технологий комплексирования систем. Обосновано, что любой акт комплексирования комбинируется из трех приемов: загрузка, подстановка и соединение.
