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

UptoLike

ВУЗ: 

РУДН | Москва

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

Рубрика: 

134 Глава 9. Описание бизнес-процессов с использованием обозначений …
Синтаксис для определения исключения имеет вид:
<exception
name = NCName>
Content: (documentation?, event, context?, {any activity}+)
</exception>
Компенсация (Compensation) соответствует необходимым действиям по
корректному завершению ситуации, возникшей в связи с Exception
1
.
Синтаксис для определения компенсации имеет вид:
<compensation
name = NCName
duration = QName
instant = QName>
Content: (documentation?, (event | parameters?), context?, {any activity}+)
</compensation>
Контекст (Context) содержит относящиеся к процессу переменные, ло-
кальные определения процессов, сигналов и т.д., служит для синхронизации
и передачи информации между узлами.
Синтаксис для определения контекста имеет вид:
<context
atomic = boolean : false>
Content: ((exception | process | property | schedule | signal)*, faults?)
</context>
Переменные определяются набором свойств (Property) и могут быть ло-
кальными или глобальными по отношению к данному контексту.
Синтаксис для задания свойств имеет вид:
<property
name = NCName
type = QName
1
Если до отказа клиента от поездки для клиента были забронированы билеты на самолёт и номер в гости-
нице, то задачей элемента Compensation будет отменить бронирование.

Страницы