Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 127 стр.

UptoLike

Составители:

Рубрика:

9.2. Язык моделирования бизнес-процессов BPML 127

– Action — выполняет или запускает операции обмена входящими

и исходящими сообщениями;

– Assign — присваивает новое значение свойству;

– Call — запускает процесс и ждёт его завершения;

– Compensate — вызывает компенсации указанных процессов;

– Delay — выражает течение времени;

– Empty — ничего не делает;

– Fault — выдаёт сообщение об ошибке в текущем контексте;

– Raise — активизирует сигнал;

– Spawn — запускает процесс, не дожидаясь его завершения;

– Synch — синхронизирует по сигналу;

–– сложные:

– All — выполняет указанные операции параллельно;

– Choice — выполняет операции одного из составных комплектов,

выбранного в соответствии с возникшим событием;

– Foreach — однократно выполняет операции для каждого пункта из

списка;

– Sequence — выполняет операции последовательно;

– Switch — выполняет операции одного из составных комплектов,

выбранного на основе истинного значения условия;

– Until — выполняет операции один или более раз на основе истин-

ного значения условия;

– While — не выполняет операции или выполняет их один или более

раз на основе истинного значения условия.

Для деятельности определены следующие состояния: