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

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