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

UptoLike

ВУЗ: 

РУДН | Москва

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

Рубрика: 

152 Приложение Б. Реализация BPMN-диаграмм
<exception name=”cancelRequest”>
<event activity=”receiveCancelRequest”/>
<action name=”receiveCancelRequest”
portType=”orderService” operation=”cancelRequest”
correlate=”tns:orderID”>
<input element=”tns:orderID” property=”tns:orderID”/>
</action>
<assign name=”statusCanceled” property=”status”>
<value>canceled</value>
</assign>
<compensate process=”tns:activityA tns:activityB”/>
</exception>
<faults>
<case code=”tns:timeout”>
<assign property=”status”>
<value>timeout</value>
</assign>
<compensate process=”tns:activityA tns:activityB”/>
</case>
<default>
<assign name=”statusAborted” property=”status”>
<value>aborted</value>
</assign>
<action name=”notifyError” portType=”orderService”
operation=”notifyError”>
<output element=”tns:orderID”>
<source property=”tns:orderID”/>
</output>
<output element=”tns:reason”>
<source property=”inst:fault”/>
</output>
</action>
<compensate process=”tns:activityA tns:activityB”/>
</default>
</faults>
</context>
<action name=”receiveOrder” portType=”orderService” operation=”order”>

Страницы