在并行状态广播本地事件
定向事件使用发送广播
此示例显示使用定向事件广播的行为发送(
转换中的语法。该图表使用并行状态隐式排序(参见隐式排序并行状态)。event_name.
那endy_name.
的)
最初,图表睡着了。并联变形物A.A1
和B.B1
处于活动状态,这意味着并行(和)售货机一种
和B.
也是活跃的。条件[data1 == 1]
是真的。事件e_one.
属于图表,两者都可见一种
和B.
。
醒来后,图表检查各级层次结构的有效转换:
图表根检查以查看事件结果是否存在有效的转换。没有有效的过渡。
状态
一种
根据事件检查任何有效转换。因为条件[data1 == 1]
是真的,有一个有效的州过渡A.A1
到国A.A2
。那个行动
发送(e_one,b)
执行:活动的广播
e_one.
到达状态B.
。因为州B.
处于活动状态,该状态接收到事件广播并检查是否存在有效转换。有效的过渡B.B1
到B.B2
。状态
B.B1
出口
行动(exitB1()
)执行和完成。状态
B.B1
变得不活跃。状态
B.B2
变得活跃。状态
B.B2
入口
行动(ENTB2()
)执行和完成。
状态
A.A1
出口
行动(exita1()
)执行和完成。状态
A.A1
变得不活跃。状态
A.A2
变得活跃。状态
A.A2
入口
行动(Enta2()
)执行和完成。
该序列完成了使用定向事件广播到并行状态的图表的执行。
定向事件使用合格的事件名称广播
此示例显示了在转换中使用合格的事件名称的定向事件广播的行为。该图表使用并行状态隐式排序(参见隐式排序并行状态)。
图表中唯一的差异定向事件使用发送广播是:
事件
e_one.
属于国家B.
并且只能看到这种状态。那个行动
发送(e_one,b)
就是现在发送(b.e_one)
。使用合格的事件名称是必要的,因为
e_one.
州不可见一种
。
醒来后,图表检查各级层次结构的有效转换:
图表根检查以查看事件结果是否存在有效的转换。没有有效的过渡。
状态
一种
根据事件检查任何有效转换。因为条件[data1 == 1]
是真的,有一个有效的州过渡A.A1
到国A.A2
。那个行动
发送(b.e_one)
执行并完成:活动的广播
e_one.
到达状态B.
。因为州B.
处于活动状态,该状态接收到事件广播并检查是否存在有效转换。有效的过渡B.B1
到B.B2
。状态
B.B1
出口
行动(exitB1()
)执行和完成。状态
B.B1
变得不活跃。状态
B.B2
变得活跃。状态
B.B2
入口
行动(ENTB2()
)执行和完成。
状态
A.A1
出口
行动(exita1()
)执行和完成。状态
A.A1
变得不活跃。状态
A.A2
变得活跃。状态
A.A2
入口
行动(Enta2()
)执行和完成。
此序列完成使用定向事件广播的图表执行,使用限定事件名称到并行状态。