You can specify a time constraint in Messages in a Sequence diagram. Simulation Toolkit uses the time constraint as a timestamp on a Message when it records simulation as a Sequence diagram (see Executing an interaction model). During an interaction, Simulation Toolkit checks if active States contain the required State, State Invariant, and time as exactly specified in the time constraint but not delayed time. |