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