Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397
Номер 6 2023 год
Рассмотрены подходы к решению задачи поиска аномалий при одновременном функционировании нескольких информационных технологий (процессов), типичное функционирование каждой из которых может быть описано некоторой формальной моделью. В качестве формальной модели рассмотрен ациклический ориентированный граф. Проанализированы как случай, когда при построении модели процесса в трассах лога событий может содержаться след только одного процесса, так и случай, когда в одной трассе содержатся следы нескольких процессов. Доказаны оценки сложности ответа на вопрос, является ли поступающая трасса аномальной, если формальные модели процессов уже были построены.