状态(分隔框)(SimpleState)

简单状态默认添加三种内部行为:entry,exit和do,显示在一个独立的分隔框中。这个分隔框的显示,可以通过属性框中节点的属性来设置。在entry、exit和do后面是一条斜线,在斜线后面可以直接输入一个说明行为的文字,表示一个不透明行为。也可以通过右键菜单设置为一个已存在的行为元素,或者增加一个行为元素(一个活动、交互或另外一个状态机)。

在转换到新的状态之前,一个状态机可能会在一段不确定的时间里,停留在某种特定状态下,这意味着其他行为可以在状态的entry和exit行为中之间执行,

状态的entry行为是进入那个状态执行的第一个行为,是原子行为,没有任何新的事件可以中断它的执行。状态的exit行为是离开那种状态之前执行的最后一个行为,是原子行为,没有任何新的事件可以中断它的执行。

do如果存在的话,状态的do行为会在进入状态的时候开始执行,在状态的entry行为之后。do行为和entry行为之间的关键区别在于,do行为是非原子行为,他的执行可能会被新的事件发生所中断,而这个事件会导致转换到新的状态。因此do行为在发生两件事情之前保持执行。一是,被事件发生所中断,状态机转换到新的状态,do行为会被取消,紧接着exit行为就会执行。二是,自己结束,可能在下一个事件发生之前,如果所有输出的转换都需要触发器,那么状态机可能会继续保持当前状态,等待下一个事件发生。如果有一个输出转换不需要触发器,那么状态机就会立刻转换到新的状态。

可以通过简单状态的右键菜单,删除或添加内部行为。

 

MBSES用户使用说明书