MBSE with GENESYS Oct 2023

Behavior is Preserved in Decomposition?

System Behavior

Decomposed System Behavior

517

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.

518

MBSE with GENESYS