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

UptoLike

128 Глава 9. Описание бизнес-процессов с использованием обозначений
ready деятельность находится в состоянии готовности;
active деятельность находится в активном состоянии (работает);
completing деятельность совершает действия для завершения выпол-
ненных работ;
completed деятельность полностью завершила выполняемые действия;
aborting деятельность совершает действия для прерывания выполня-
емых работ;
aborted деятельность полностью завершила действия для прерыва-
ния выполняемых работ.
Синтаксис для определения элемента Action имеет вид:
<action
name = NCName
portType = QName
operation = NCName
correlate = list of QName
locate = QName
role = QName
{extension attribute}>
Content: (documentation?, (input | output)*, {any activity}*)
</action>
Синтаксис для определения входящего элемента имеет вид:
<input
property = QName
element = QName
xpath = XPath/>
Синтаксис для определения исходящего элемента имеет вид:
<output
type = QName
element = QName
xpath = XPath>
Content: (((source | value)+ | {extension element})?)
</output>