区域(Region)

状态机可以表示并发行为,可以向状态机中添加多个区域,每个区域都包含自己的系列顶点和转换,每个区域都会独立对事件发生做出响应。区域是彼此正交的。可以为每个区域指定名称,那个名称会显示为区域内某处的标签,一般位于某个角落。

在系统操作的任意时刻,每个区域都必须只拥有一个活动状态,在状态机行为的执行过程中,状态机在多个状态中并发(每个区域一种状态)。

构建状态机的方式,处于不同区域的两个顶点之间绘制转换是非法的,如果存在这种转换,那么可能在某个时刻区域内会没有任何活动的状态。

每个区域都会独立对事件发生做出响应,事件发生可能会导致一个而不是多个区域中的转换触发。一个事件发生也可能会导致多个转换被触发,但是每个区域最多一个转换,或者两个以上区域中包含带有相同事件触发器的转换。

 

MBSES用户使用说明书