| 前页 | 后页 |
状态不变式
状态不变量是应用于生命线的条件，生命线必须满足该条件。通过将“状态/继续”元素从“工具箱”的“交互元素”页面拖到图表上，可以创建状态不变式。
该图说明了状态不变式。
当状态不变式移动到生命线附近时，它会捕捉到中心。如果将序列对象向左或向右拖动，状态不变式将随之移动。
学到更多
OMG UML规范：
OMG UML规范（ UML上层结构规范，v2.1.1，第502页）规定：
StateInvariant是对交互参与者的运行时约束。它可用于指定各种不同种类的约束，例如属性或变量的值，内部或外部状态等。
StateInvariant是一个InteractionFragment，它放置在生命线上。