Доклад посвящен применению теории категорий для решения концептуальной проблемы представления разнородных технологий программной инженерии в единой форме, удобной для их интеграции в рамках общего цикла проектирования сложных программных систем. Особое внимание уделяется современным технологиям метапрограммирования, таким как разработка, управляемая моделями, и аспектно-ориентированное программирование. Построены универсальные теоретико-категорные концептуальные модели таких технологий.