MBSE with GENESYS 2024

Behavior is Preserved in Decomposition?

System Behavior

Decomposed System Behavior

523

Non-certified Customer Issue

No trigger exists for the Command Center and therefore it is waiting, and the System never completes execution. The Workstation branch needs a “Kill” to terminate execution for the Uncertified User execution path.

524