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