Re: [boost] StateChart: Propagating events with orthogonal states

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.