W3C home > Mailing lists > Public > www-ws-arch@w3.org > October 2002

RE: Definition of Choreography

From: Mathews, Walden <walden.mathews@tfn.com>
Date: Sat, 19 Oct 2002 19:14:09 -0400
Message-ID: <1373D6342FA1D4119A5100E029437F64045EEE1C@clifford.devo.ilx.com>
To: "'Champion, Mike '" <Mike.Champion@SoftwareAG-USA.com>, "'www-ws-arch@w3.org '" <www-ws-arch@w3.org>

>> -----Original Message-----
>> From: Ricky Ho [mailto:riho@cisco.com]
>> Sent: Friday, October 18, 2002 9:17 PM
>> To: Burdett, David; 'Champion, Mike'; www-ws-arch@w3.org
>> Subject: RE: Definition of Choreography
>> Can the public protocol be just an XML 
>> representation of a state machine.  Each state constraint 
>> what event can  happen (event can be what SOAP message to send or what
>> message to  receive).  Each event defines the next state.
>> we are defining  what are the possible message exchange sequence
>> describing the  internal decision making process.

>I like this idea a lot.  Can anyone sketch out an example of how one
>model a little corner of one of the choreography specs using a state

Here's a sketch of the essentials of state modeling using something
that looks phenomenally like XML to represent the concept of a Harel

  <state name="X">
    <next-state name="Y">
    <next-state name="Z">...</next-state>
  <state name="Y">

There is a collection of states, some of which are reachable from
other states.  To transition from one state to another, you must have
both a triggering event and a satisfied guard condition.  Certain
states can be tagged as "terminal", although I didn't.  Guard conditions
can be complex, so in Paul's case, the waiter's arrival may trigger
a change to the SALAD state, but if Paul hasn't finished his coffe
(the guard), then the transition doesn't take place.  (Who ever heard
of having coffer before salad?)

Does this help, or do you need to see salad and coffee mixed in
amonxt the XML tags?

Walden Mathews
Received on Saturday, 19 October 2002 19:14:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:05:41 UTC