You can specify a time constraint in Messages in the Sequence diagram. During simulating an interaction, Magic Model Analyst checks if the active State contains the required State (State Invariant), and the time is exactly as specified (Time constraint). However, the time constraint is not used as the delay time.
Related pages