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'.
To mark the end of the Australian financial year we are offering a 25% DISCOUNT off SysMLv2 Workshop Seminar group course bookings fully pre-paid by 30th June 2026. This deal ends soon! Contact us now to apply!
