Re: FSM Review Announcement

After a little more thought, I believe I can explain what the semantics might be. The following is the state
machine for the finance exchange protocol. You will notice the "selfSyncWait" 
and "peerSyncWait" states. These states exist only to express the further restriction of matching events
while protocol level message syncing is executed immediately following session 
authentication. 

Syntactic sugar to more cleanly express that sort of "synthetic" state would be nice. Instead of giving the
states names, they would simply be expressed as anonymous sub-states 
within the layout of the transition table.

    typedef boost::mpl::list25<
     transition<any,           events::MessageRecv,         disconnected,  &Machine::handle_message_unexpected>,
     transition<any,           events::SessionRejectRecv,   disconnected,  &Machine::handle_session_reject>,
     transition<any,           events::SeqNumLow,           disconnected,  &Machine::handle_seqnum_low>,
     transition<any,           events::SeqNumHigh,          disconnected,  &Machine::handle_seqnum_high>,
     transition<any,           events::LogoutRecv,          disconnected,  &Machine::handle_logout_unexpected>,
     transition<any,           events::LogoutSend,          logoutSent,    &Machine::handle_logout_initiate>,
     transition<any,           events::TimeoutSend,         disconnected,  &Machine::handle_timeout_send>,
     transition<any,           events::TimeoutRecv,         disconnected,  &Machine::handle_timeout_recv>,
     transition<any,           events::ErrorRecv,           disconnected,  &Machine::handle_error_recv>,
     transition<any,           events::ErrorSend,           disconnected,  &Machine::handle_error_send>,
     transition<any,           events::ErrorHandle,         disconnected,  &Machine::handle_error_handle>,

     transition<active,        events::MessageRecv,         active,        &Machine::handle_message_recv>,
     transition<active,        events::MessageSend,         active,        &Machine::handle_message_send>,
     transition<active,        events::SessionRejectRecv,   active,        &Machine::handle_session_reject>,
     transition<active,        events::TimeoutSend,         active,        &Machine::handle_heartbeat_send>,
     transition<active,        events::LogoutRecv,          disconnecting, &Machine::handle_logout_accept>,

     transition<connected,     events::LogonSend,           logonSent,     &Machine::handle_logon_initiate>,
     transition<accepted,      events::LogonRecv,           logonAckWait,  &Machine::handle_logon_accept>,
     transition<logonSent,     events::LogonRecv,           peerSyncWait,  &Machine::handle_logon_reply>,
     transition<logonAckWait,  events::LogonAck,            peerSyncWait,  &Machine::handle_logon_ack>,
     transition<logonAckWait,  events::LogonNack,           disconnected,  &Machine::handle_logon_nack>,
     transition<logoutSent,    events::LogoutRecv,          disconnected,  &Machine::handle_logout_complete>,

     transition<peerSyncWait,  events::MessageRecv,         active,        &Machine::handle_logon_peerSyncing>,
     transition<peerSyncWait,  events::SeqNumHigh,          selfSyncWait,  &Machine::handle_seqnum_gap>,
     transition<selfSyncWait,  events::MessageRecv,         active,        &Machine::handle_logon_selfSyncing>
    >::type transition_table;

Chris
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost