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