Семантическая трассировка информационных процессов

DOI:

Дата направления статьи в редакцию:

Дата публикации:

Аннотация: В настоящее время активно прорабатываются вопросы использования формальных средств моделирования для описания различных категорий процессов, в частности информационных бизнес-процессов. Однако, в основном, в качестве средств моделирования используются графовые или сетевые модели, основанные на диаграммах состояний – такие как сети Петри, графы, представляющие сетевые цепочки, а также различные документно-ориентированные или событийно-ориентированные модели, такие как UML или IDEFx модели. Цель данной работы заключается в том, чтобы показать, что наработки в области теории бизнес процессов, ориентированные на такие модели, могут быть применены для более строгих символьных моделей, дающих возможность использования автоматизированной обработки модели процесса для проверки корректности, обнаружения свойств и связь модели процесса с технологическими средствами реализации. В данной работе, предлагается использование символьного средства моделирования процессов – pi-исчисление. В данной формальной модели процесс представляется как терм исчисления, выполнение которого описывается редукцией данного терма в соответствии с выбранной семантикой. Данное исчисление было разработано для описания взаимодействия нескольких систем в рамках процессов с возможно изменяющейся структурой. В данной работе предлагается оригинальный конструктивный подход к описанию трассировки – предлагается способ построения логов процесса, объединения их в журналы выполнения, рассматриваются общие требования к журналированию процессов. Описывается применение аспектов process mining к процессам, моделируемым с использованием pi-исчисления. Использование предлагаемых подходов к моделированию процессов и трассировки их выполнения предоставляет, по сравнению с аналогами, гораздо больше возможностей оценки адекватности и корректности построенной модели, упрощает расширение системы оценки для добавления новых критериев, упрощает получение и интерпретацию логов процесса, соответствующего модели.

Ключевые слова: