- From: Monica J. Martin <monica.martin@sun.com>
- Date: Tue, 24 Jun 2003 14:38:00 -0600
- 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