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.
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
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.