State Invariant

www.altova.com Print this Topic Previous Page Up One Level Next page

Home >  UML Diagrams > Behavioral Diagrams > Sequence Diagram > Inserting sequence diagram elements >

State Invariant

A StateInvariant ic-state-inv is a condition, or constraint applied to a lifeline. The condition must be fulfilled for the lifeline to exist.

 

 

To define a StateInvariant:

1.Click the State invariant icon, then click a lifeline, or an object activation to insert it.
2.Enter the condition/constraint you want to apply, e.g. accountAmount > 0, and press Enter to confirm.

state-invariant


© 2019 Altova GmbH