状态不变

状态不变性是适用于生命线的条件，必须满足生命线的存在。通过将“状态/延时”元素从“工具箱”的“交互元素”页面拖到图表上，可以创建状态不变量。

该图说明了状态不变量。

当状态不变量移动到生命线附近时，它会捕捉到中心。如果向左或向右拖动序列对象，则State Invariant随之移动。

学到更多

OMG UML规范

OMG UML规范（UML上部结构规范，v2.1.1，第502页）规定：

StateInvariant是交互参与者的运行时约束。它可用于指定各种不同类型的约束，例如属性或变量的值，内部或外部状态等。

StateInvariant是一个交互片段，它被放置在生命线上。