- From: Jon Dart <jdart@tibco.com>
- Date: Tue, 24 Jun 2003 15:02:08 -0700
- To: "Monica J. Martin" <monica.martin@sun.com>
- CC: "'public-ws-chor@w3.org '" <public-ws-chor@w3.org>
My understanding is, the states you transition from and to as a result of an interaction are declared in the InteractionDef. Then in the Interaction, which references the InteractionDef, you can also specify one or more Precondition elements. I'm not advocating the removal of the ability to specify a precondition using Boolean logic. I was only talking about the simple case where the transition is based on a single state, and it's the same as the fromState in the InteractionDef. In that case you shouldn't need an explicit Precondition element (it is currently required). --Jon Monica J. Martin wrote: > mm1: What about condition expressions that may preclude or enable > transition to another state? >
Received on Tuesday, 24 June 2003 18:02:15 UTC