W3C home > Mailing lists > Public > public-ws-chor@w3.org > June 2003

Re: BurdettML comments

From: Monica J. Martin <monica.martin@sun.com>
Date: Tue, 24 Jun 2003 14:38:00 -0600
Message-ID: <3EF8B6A8.9040908@sun.com>
To: jdart@tibco.com
CC: "'public-ws-chor@w3.org '" <public-ws-chor@w3.org>

> Dart: But you already know from the "fromState" attribute that 
> "DoLogin:end" is a precondition for DoQuery. IMO in this simple case 
> the precondition could/should be omitted. We do not need to specify 
> that the client is not logged out, because DoLogout will be an end 
> state for the choreography. I am assuming that reentering a 
> choreography via other than a state state after an end state has been 
> reached is an error.

mm1: What about condition expressions that may preclude or enable 
transition to another state?
Received on Tuesday, 24 June 2003 16:27:18 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:00:59 UTC