Семантика аспектно-ориентированного моделирования данных и процессов

Предложен подход к унификации технологий аспектно-ориентированного программирования (АОП) на семантическом уровне путем формализации основных понятий АОП средствами теории категорий. Технология АОП описывается категорией аспектно-ориентированных моделей программ (АО-моделей) и их системных взаимосвязей, снабженной функтором выделения аспектной структуры (разметки моделей классами задач). Связывание аспектно-ориентированных программ формализуется универсальной конструкцией в этой категории. Построены и проанализированы формальные технологии АОП, применение которых позволяет снижать затраты на моделирование данных и сценариев исполнения процессов. Строго сформулировано и обосновано условие существования связывания для сценарных моделей программных систем.