RE: Abstract Bindable Choreography

Let me refine this a bit further.
 
The state you transition to depends on the state you are in.  It may
be that a common "timed-out" state is useful, but more likely there
will be states that are more sepcific to the point of failure in the
exchange. This will be particularly true if the choreography defines
actions for recovering from the timeout.
 
Fred

-----Original Message-----
From: Burdett, David [mailto:david.burdett@commerceone.com]
Sent: Thursday, April 10, 2003 2:43 PM
To: 'Assaf Arkin'; Patil, Sanjaykumar
Cc: Burdett, David; Monica J. Martin; Ricky Ho; public-ws-chor@w3.org
Subject: RE: Abstract Bindable Choreography



+1 also 

-----Original Message----- 
From: Assaf Arkin [ mailto:arkin@intalio.com <mailto:arkin@intalio.com> ] 
Sent: Thursday, April 10, 2003 11:01 AM 
To: Patil, Sanjaykumar 
Cc: Burdett, David; Monica J. Martin; Ricky Ho; public-ws-chor@w3.org 
Subject: Re: Abstract Bindable Choreography 


By itself the term time-out is neither a state nor a transition, it's 
just a generic term, much like failure. 

I would generally signify "time constraint" as the condition that leads 
to the transition (e.g. at 5:35), "time-out event" as the actual event 
that leads to the transition (e.g. what happens at 5:35). When the event 
occurs you transition to a new state. 

It's easy to say that the transition occureed due to a time constraint 
and label it as a "time-out transition". The state you are in may have 
some meaningful name, like "no response provided" or "time to cancel and 
report error". But generally speaking, if you only get to this state due 
to the time-out event, you may as well characterize it as "time-out state". 

But just saying time-out is not very helpful. It does not clarify 
whether you are talking about the transition that occurs at the specific 
time instant, or the state you reach as part of that transition. 

arkin 


Patil, Sanjaykumar wrote: 

> Understood. There are acks at various levels such as messaging and 
> process level. Choreography perhaps should limits itself to handling 
> timeouts of process level acks only. Makes sense. 
>  
> I was however commenting on the other the discussion topic, that is, 
> whether Timeout is a state or a transition. Personally, I did not see 
> it clearly to be one of these and my inclination is to say that it's 
> both. This is perhaps a subtle modeling issue and we can move on 
> without getting a clear answer today. However, if we run into more 
> such cases where the state and transition are married to each other, 
> we may consider supporting it as a language feature and solve it once. 
> That's all. 
>  
> 
> Sanjay Patil 
> Distinguished Engineer 
> sanjay.patil@iona.com 
> ------------------------------------------------------- 
> IONA Technologies 
> 2350 Mission College Blvd. Suite 650 
> Santa Clara, CA 95054 
> Tel: (408) 350 9619 
> Fax: (408) 350 9501 
> ------------------------------------------------------- 
> Making Software Work Together TM 
>