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

UptoLike

132 Глава 9. Описание бизнес-процессов с использованием обозначений
Синтаксис элемента Until имеет вид:
<until
name = NCName>
Content: (documentation?, condition, context?, {any activity}+)
</until>
Синтаксис элемента While имеет вид:
<while
name = NCName>
Content: (documentation?, condition, context?, {any activity}+)
</while>
Сигналы (Signals) используются для синхронизации точек управления, на-
ходящихся в элементах Activities одного уровня вложенности.
Синтаксис для определения сигнала имеет вид:
<signal
name = NCName
type = QName
element = QName
multi = boolean : false>
Content: (documentation?, (value | source)?)
</signal>
<source
property = QName>
Content: (condition?)
</source>
Двумя важными компонентами модели BPML являются системные ошиб-
ки (Faults) и планировщики (Schedules).
Системные ошибки (как и исключительные события) приводят к заверше-
нию выполнения текущего задания, в результате чего управление передаётся
специальным обработчикам (системным или определённым в контексте).
Синтаксис для определения системных ошибок имеет вид: