2
Modeling the WS-Business Activity Protocol with WSCI/AbsBPEL: wrong
Send(Cancel)
Coordinator
#1
Active State
Canceling State
#2a
#2b
Canceled State
Completed State
Receive(Canceled)
Receive(Completed)
OR
Receive(Cancel)
#1
Active State
Canceling State
#2a
#2b
Canceled State
Completed State
Send(Canceled)
Send(Completed)
OR
Participant
Mirror
WSCI/AbsBPEL Contract
WSCI/AbsBPEL Contract
X