Что такое токен в контексте BPMN?

Question

Токен в BPMN — это концептуальный (невидимый на диаграмме) маркер, который показывает текущую позицию выполнения в процессе. Он движется по потоку операций от стартового события, активируя задачи и шлюзы, пока не достигнет конечного события. Можно представить его как виртуальную фишку, которая проходит по маршруту процесса, указывая, какая его часть активна в данный момент. Токен помогает понять логику исполнения, особенно при ветвлениях и параллельных потоках.

YeaHub · Accepted Answer

BPMN — это не просто статичная диаграмма, а модель исполняемого процесса. Токен — это ключевая абстракция, которая делает модель "живой" и объясняет, как процесс выполняется шаг за шагом.Определение: Токен (token) — это виртуальный объект, обозначающий состояние выполнения одного экземпляра бизнес-процесса. Он перемещается по элементам диаграммы в соответствии с определенными правилами.Как работает токен:Создание: Токен создается в Стартовом событии (Start Event) при запуске нового экземпляра процесса.Движение: Токен движется по Потоку управления (Sequence Flow) от одного элемента к другому.Активация: Когда токен входит в элемент (например, в задачу), этот элемент считается активным и начинает выполняться. Токен "находится" в этом элементе до завершения его работы.Дублирование и слияние:При прохождении через параллельный шлюз (AND-gateway) один входящий токен размножается, создавая по одному токену для каждого исходящего потока. Это позволяет выполнять задачи параллельно.На сходящемся параллельном шлюзе несколько входящих токенов ожидают друг друга и сливаются в один исходящий.На эксклюзивном шлюзе (XOR-gateway) токен выбирает только один путь в зависимости от условия.Практический пример:Рассмотрим процесс "Обработка заказа":text[Старт] -> [Проверить наличие] -> (XOR-шлюз)
          |-> [На складе] -> [Отправить] -> (AND-шлюз) -> [Списать деньги] -> [Завершить]
          |-> [Не на складе] -> [Заказать у поставщика] -> (AND-шлюз) -> [Уведомить клиента]Запускается процесс → токен в [Старт] → переходит в [Проверить наличие].После проверки токен движется к XOR-шлюзу. В зависимости от условия, он пойдет либо по пути "На складе", либо по пути "Не на складе". Токен всегда один.В конце оба пути ведут к AND-шлюзу. Если товара не было, токен выполнит [Заказать...] и [Уведомить...] последовательно. Если товар был, токен выполнит [Отправить] и [Списать деньги] также последовательно, так как они идут друг за другом.Для чего это нужно:Понимание логики: Токен помогает мысленно "проиграть" сценарии процесса, особенно сложные с параллельными потоками и циклами.Обсуждение с разработчиками: Разработчики BPMS-движков (например, Camunda, Activiti) мыслят в терминах токенов при реализации процесса.Обнаружение ошибок: Концепция токена помогает выявлять "висячие" задачи (где токен может застрять) или тупики (где токен не может достичь конца).Вывод:Токен — это фундаментальная концепция семантики выполнения BPMN, которая превращает статичную диаграмму в динамическую модель. Понимание движения токенов необходимо для корректного моделирования нетривиальных бизнес-процессов, особенно с параллельным выполнением и синхронизацией.