Why simulate SysML models?
Benefits of execution: validating logic before implementation
Supported diagrams for simulation (Activity, State Machine, Sequence)
How tools like Cameo, Rhapsody, and Papyrus enable simulation
Demo: Facilitator runs a simple Activity Diagram simulation in a tool
Mapping actions to simulation steps
Token flow semantics in activity diagrams
Using decision nodes, forks/joins, and object flows in simulation
Monitoring execution path and validating scenarios
Hands-On Exercise:
Simulate the example system
Observe different paths
Understanding state machine execution semantics
Events, triggers, guards, and transitions during simulation
Entry/exit/do actions
Visualizing state transitions in simulation view
Hands-On Exercise:
Simulate a Coffee Machine State Machine
Trigger events and observe state changes
Linking requirements to simulated behaviors
Using simulation for “what-if” analysis
Combining activity and state machine simulations
Comparing alternative flows
Hands-On Group Exercise:
Each team simulates both Activity & State Machine diagrams for their mini-project
Capture outputs and validate against requirements