From: Andreas Huber (ahd6974-spamboostorgtrap_at_[hidden])
Date: 2008-03-19 16:50:30
Hi Richard
"Peters, Richard" <richard.peters_at_[hidden]> wrote in message
news:C2F34B4088C6514E86F06DA928A2D21803C78418_at_OVL-EXBE01.ocevenlo.oce.net...
> So, the implementation matches the specification. But what is the reason
> that it is not specified that first all orthogonal states are tried
> before moving outward in search for a reaction? Is this the way the UML
> standard specifies it?
No, the UML standard specifies a *much* more complex algorithm, please see
<http://www.omg.org/docs/formal/03-03-01.pdf>, chapter 2.12.4.7
Boost.Statechart only supports the algorithm specified in the reference, for
a rationale please see:
<http://www.boost.org/libs/statechart/doc/rationale.html#Limitations>, under
"Event dispatch to orthogonal regions"
HTH,
-- Andreas Huber When replying by private email, please remove the words spam and trap from the address shown in the header.