107–120 МОДЕЛИРОВАНИЕ ПРОЦЕССОВ И УСТРОЙСТВ УДК 519.712.1 Использование настраиваемых базовых элементов при построении модели гибкого процесса* М.Н. РУДОМЕТКИНА 634050, РФ, г. Томск, пр. <...> Е-mail: mn.rud@inbox.ru В работе излагается метод построения модели гибкого процесса путем использования методов process mining с применением алгебры конечных предикатов и логических сетей. <...> Интеллектуальный анализ процессов предназначен для построения формально-логических моделей гибких процессов. <...> В качестве исходных данных используются логи событий, которые содержат сведения о последовательности выполнившихся действий в информационной системе. <...> Алгебра конечных предикатов предназначена для формализации процессов логической природы и представляет собой дискретный аппарат для описания произвольных конечных отношений. <...> Решение уравнений алгебры конечных предикатов осуществляется посредством логической сети, для чего уравнения алгебры преобразуются в систему бинарных предикатов. <...> Модель гибкого процесса объединяет набор возможных вариантов его выполнения. <...> Предлагаемый подход заключается в последовательном дополнении модели различными вариантами реализации процесса на этапе анализа логов. <...> Модель дополняется различными вариантами реализации гибкого процесса. <...> Возможные варианты связей между действиями процесса представлены с помощью его базовых элементов. <...> Выделение отличающихся элементов производится с помощью логических сетей. <...> Поскольку модель гибкого процесса содержит все возможные варианты его реализации, то адаптация обычно заключается в устранении избыточных возможностей. <...> В качестве базовых элементов в модели используется последовательное, параллельное, циклическое выполнение, а также выбор последующих действий процесса. <...> Операторы обеспечивают статическую и динамическую адаптацию модели. <...> Статическая адаптация выполняется на этапе конфигурирования модели в информационной системе и учитывает особенности <...>