Tony's timeout challenge

Dear Steve, Nick and others,
 
On the W3C WS-Choreography group teleconference held 15 June 2004 Steve
bravely asserted that the current version of CDL covers timeouts adequately.
It will be good if this turns out to be true.  I raised some questions and
just to see if it covers the realistic cases that concern me (there are
plenty of ways you could try to set time outs which I think are currently
unrealistic and I have no problem with CDL not being able to handle those!)
I would like to set the group some challenge problems.
 
For the TWIST example we are considering (the diagram in the TWIST
requirements document in section "7.2.7 RFQ using a trading service with
credit checks for all relationships" can Steve, Nick, Greg or anyone else
provide CDL fragments for the following cases:
 
1)  Set by receipt at TS of priceRequest from buyer, cancelled by sending
priceResponse from TS to buyer, if expires then send exception message from
TS to buyer (I think this is the easy starter for 10 already covered in
Steve's TWIST example description).
 
2)  Set by receipt at TS of priceRequest from buyer, cancelled by sending
priceAcceptanceAck from TS to buyer, if expires then send exception message
from TS to buyer.
 
3)  Set by receipt at TS of priceRequest from buyer, cancelled by sending
priceRequest to first seller, if expires then send exception message from TS
to buyer 
 
4)  Set by receipt at TS of priceRequest from buyer, cancelled by receiving
priceAcceptanceAck from a seller at the TS, if expires then send exception
message from TS to buyer and a copy of that message to a new management
role.
 
 
PS  I suggest that the solutions will be useful patterns that we should put
in the primer to show folk how to handle various kinds of timeout.
 
Best Regards     Tony
A M Fletcher
 
Cohesions  (TM)
 
Business transaction management software for application coordination
www.choreology.com <http://www.choreology.com/> 
 
Choreology Ltd., 68 Lombard Street, London EC3V 9LJ     UK
Tel: +44 (0) 1473 729537   Fax: +44 (0) 870 7390077  Mobile: +44 (0) 7801
948219
tony.fletcher@choreology.com     (Home: amfletcher@iee.org)