In Dezyne, sequence diagrams can be used to follow an execution path through models.

Sequence diagrams are displayed on verification check failure, behaviour simulation and on execution path analysis.

In the sequence diagram it is possible to perform step-by-step analysis, forward or backward.

Graphical Representation

The sequence diagram is displayed in the Sequence View in the Simulation perspective, showing the interaction between the components of the system-under-analysis.

The following information is displayed:

  • for interfaces: a lifeline for the selected interface, the client of the interface and the environment that will fire spontaneous events (so-called inevitable or optional events) in case these are defined for the interface.

  • for components: a lifeline for the selected component, for each provided interface, and for each required interface.

  • a solid line with an end-arrow-head for each event, and

  • a dotted line with an end-arrow-head for each return

  • the possible event(s) that can be selected as the next event to occur. This is shown at the bottom of the diagram.

Additional information, like state and variable value changes, are displayed in a watch window. For details see Using the watch window

Sequence Diagram

For an improved visibility and readability, the position of the lifelines can be changed by clicking on the interface/component names and moving the life-lines to a new position.


Clicking on an event in the diagram highlights the place in the model editor where the respective behaviour is specified. In addition the watch window is updated to reflect the same position in execution. + Sequence diagram with link to model

After clicking on an event you can step forward and backward in the sequence diagram using the Up and Down keys on your keyboard. As a result also the editor and watch window will be updated to reflect the same position in execution.