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