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'?
video_sim
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 HUGE 50% DISCOUNT off all SysMLv1/MBSE group course bookings fully pre-paid by 21st July 2025! Contact us now to apply!