Hello, 

we distinguish in our methodology between the required behavior of a use case and the designed behavior. 

We express the required behavior with sequence diagrams and describe the designed behavior using State Machines with embedded activities. 

To verify, if the designed behavior complies with the required behavior, we would like to 

• simulate the state machines by stimulating them with the same input like we find in a required behavior
• record the behavior of the state machine
• visualize the recording in sequence diagrams
• compare the required behavior and the actual behavior

The simulation workbench allows to record a simulation in the simulation log (see here). 

My questions: 

• Is there a way to visualize a simulation run with a sequence diagram?
• E.g. Is it possible to use this simulation log and visualize it as a sequence diagram? 

Thanks!

Josua