上一页 下一页

状态不变

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

该图说明了状态不变量。

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

学到更多

OMG UML规范

OMG UML规范(UML上部结构规范,v2.1.1,第502页)规定:

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

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