18090

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Формальный подход к аспектно-ориентированному моделированию сценариев

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

  • Сибирский журнал индустриальной математики

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

Т. 13, №3

Город: 

  • Новосибирск

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

  • Издательство Института математики СО РАН

Год издания: 

2010

Страницы: 

30-42
Аннотация
Работа посвящена формализации аспектно-ориентированного подхода (АОП) к разработке программ. Доказано, что наилучшими с точки зрения АОП являются трансформации, позволяющие трассировать включения компонентов в системы. Формализация АОП выполнена на базе теоретико-категорной конструкции формальной дисциплины проектирования. Для описания трассируемых трансформаций введено понятие M-инициального морфизма. В качестве приложения рассмотрена формализация аспектно-ориентированных моделей сценариев поведения систем в виде помеченных частично упорядоченных множеств. Описан общий способ формального преобразования аспектно-ориентированных моделей динамических систем в помеченные структуры событий.

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

Ковалёв С.П. Формальный подход к аспектно-ориентированному моделированию сценариев // Сибирский журнал индустриальной математики. 2010. Т. 13, №3. С. 30-42.