Сохранение корректности при конфигурировании моделей бизнес-процессов

Конфигурируемая модель процесса представляет семейство связанных моделей процессов в едином артефакте. Такие модели предназначены для настройки в соответствии с требованиями конкретных организаций или проектов, что приводит к созданию индивидуализированных моделей процессов, которые впоследствии используются для анализа предметной области или проектирования решений. В статье предлагается формальная основа для поэтапной индивидуализации конфигурируемых моделей процессов с сохранением корректности как с точки зрения синтаксиса, так и поведенческой семантики. В частности, если конфигурируемая модель процесса является поведенчески корректной, то индивидуализированные модели процессов гарантированно сохраняют корректность. Сначала теория разрабатывается применительно к сетям Петри, а затем распространяется на широко используемую на практике нотацию моделирования процессов — событийно-управляемые цепочки процессов.