RE: Definition of Choreography

> -----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
SOAP 
> message to  receive).  Each event defines the next state.  Effectively, 
> we are defining  what are the possible message exchange sequence without 
> describing the  internal decision making process.

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