25797

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

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

Наименование источника: 

  • Информатика и ее применения

Обозначение и номер тома: 

Т. 7, вып. 3

Город: 

  • Москва

Издательство: 

  • ИПИ РАН

Год издания: 

2013

Страницы: 

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

Библиографическая ссылка: 

Ковалёв С.П. Семантика аспектно-ориентированного моделирования данных и процессов // Информатика и ее применения. 2013. Т. 7, вып. 3. С. 70-80.