Tags and keywords
In the following BDD fragment and StateMachine setup, if the state machine is initialised and in 'StateA', what stable state will the state machine settle in after receiving these signal events: 'BounceMe', 'SelfA', 'AtoB'?
Watch a high resolution version of the video on Vimeo.
When signal 'BounceMe' is initially received while the state machine is in 'StateA' it will be deferred and remains in the event pool. When signal event 'SelfA' is received the 'Bounce' signal event remains in the pool. When signal event 'AtoB' causes a Transition to 'StateB', the outgoing Transition from 'StateB' catches the deferred signal event 'BounceMe' and transitions to stable 'StateC'.
We are offering a 30% discount off all SysML/MBSE course bookings secured by 28th February 2025! Contact us now to apply!