> 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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 06:36:07 GMT