  Re: How many states on each end?  From: David Hull
<dmh@tibco.com> Date: Tue, 04 Apr 2006 17:16:19 -0400 To:
noah_mendelsohn@us.ibm.com Message-id:
<4432E223.50103@tibco.com>      * AFAICT a state machine based
description is about the same size as       the less formal
description and, as it uses a well-understood       formal
notation, is more precise.     * The simple three-state machine
turns out to compose nicely into       more complex models.
IMHO makes much more sense, as a composition of simple three-
state senders and receivers.  Cases we don't currently describe,
such as the "split" case where replies are directed to a third
party and faults directly back in the response (or vice versa),
also fall out by the same derivation.   other variants,
including choreographies we haven't yet considered, seems
interesting.  See [1] for a detailed writeup.  (Warning: parts
of this document discuss tunneling scenarios that are arguably
abusive of HTTP.  The discussion of state machines does not
depend on the