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

UptoLike

136 Глава 9. Описание бизнес-процессов с использованием обозначений
полняемый процесс содержит в себе алгоритмы, определяющие порядок вы-
полнения действий (Activities), назначение исполнителей, обмен сообщения-
ми, правила обработки исключений и т.д.
Действия (Activities) в BPEL делятся на примитивные и структурные.
К примитивным Activities относятся:
Receive ожидает сообщения внешнего источника;
Reply отвечает внешнему источнику;
Invoke запускает операцию какого-либо Web-сервиса;
Wait ждёт в течение определённого периода времени;
Assign копирует значение одной переменной в другую;
Throw отбрасывает исключение в случае ошибки;
Terminate принудительно завершает выполнение службы;
Empty не выполняет никаких действий.
К структурным Activities относятся:
Sequence соответствует последовательному выполнению действий,
содержащихся внутри элемента;
Switch условная передача управления (соответствует оператору Switch
языков программирования С++, Java и т. д.);
While организует цикл типа «While»;
Pick запускает обработку событий и исключительных ситуаций;
Flow соответствует параллельному выполнению действий, содержа-
щихся внутри элемента;
Scope группирует узлы для программы-обработчика ошибок.
Кроме того, в языке присутствует понятие связь (Link), которая, как прави-
ло, применяется к элементам Activities, находящимся внутри параллельного
блока, накладывая ограничения на порядок их выполнения.
Переменные в BPEL описываются при помощи тега «variables». Для зада-
ния исполнителя используется тег «partnerLink».
В приложении Б.2 рассмотрен пример реализации диаграммы нотации
BPMN на языке BPEL [14].