状态不变式

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

该图说明了状态不变式。

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

学到更多

• 生命线
• 状态/延续
  

OMG UML规范：

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

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

StateInvariant是一个InteractionFragment，它放置在生命线上。