主要内容

通过使用默认转换控制图执行

在独家缺省转换(或)分解

这个例子显示了一个从一个或状态转换到一个极权主义国家独家(或)分解,定义一个默认亚态过渡的地方。

Stateflow图表与顶级状态称为A和B状态B亚态称为B1和B2。

最初,图表是睡着了。状态一个是活跃的。事件E_one发生和唤醒图表处理事件从根沿着层次结构:

  1. 图根检查是否有一个有效的转换的结果E_one。有一个有效的过渡状态一个将超级大国B。

  2. 状态一个退出操作(exitA ())执行和完成。

  3. 状态一个标记为非活动。

  4. 过渡行动,一个、执行和完成。

  5. 状态B活跃的标记。

  6. 状态B输入操作(entB ())执行和完成。

  7. 状态B检测到一个有效的缺省转换B。B1。

  8. 状态B。B1活跃的标记。

  9. 状态B。B1输入操作(entB1 ())执行和完成。

  10. 图表回到睡眠。

这个序列完成这Stateflow的执行®与事件相关图表E_one当状态一个最初活跃。

默认的过渡到一个结

下面的例子显示了默认的行为过渡到一个连接结。默认转换到结是有效的只有当状态B是第一个进入,而不是每次醒来的图表。

Stateflow图表与顶级状态称为A和B状态B亚态称为B1和B2。

对于这个示例,最初,图表睡着了。状态B.B1是活跃的。条件(C_two)是真的。事件发生和唤醒图表处理事件从根沿着层次结构:

  1. 状态B检查是否有一个有效的转换结果的任何事件。没有。

  2. 状态B在操作(durB ())执行和完成。

  3. 状态B1检查是否有一个有效的转换结果的任何事件。没有。

  4. 状态B1在操作(durB1 ())执行和完成。

这个序列的执行完成Stateflow图表与任何事件的发生有关。

默认的过渡和连接历史

这个例子展示了一个超级大国的行为默认过渡和连接历史。图表使用隐式的顺序输出转换(见隐式排序)。

Stateflow图表与顶级状态称为A和B状态B亚态称为B1、B2、B3和B4。

最初,图表是睡着了。状态一个是活跃的。结历史记录的事实状态B4以前活跃亚态的超级大国B。事件E_one发生和唤醒图表处理事件从根沿着层次结构:

  1. 图根检查是否有一个有效的转换的结果E_one。

    有一个有效的过渡状态一个将超级大国B。

  2. 状态一个退出操作(exitA ())执行和完成。

  3. 状态一个标记为非活动。

  4. 状态B活跃的标记。

  5. 状态B输入操作(entB ())执行和完成。

  6. 状态B使用历史结来确定亚态目的地转变成超级大国。

    历史上结表明亚态B。B4是最后一个活跃的亚态,成为转型的目标。

  7. 状态B。B4活跃的标记。

  8. 状态B。B4输入操作(entB4 ())执行和完成。

  9. 图表回到睡眠。

这个序列的执行完成Stateflow图表与事件相关联E_one。

标签的默认转换

这个例子展示了与一个标签使用缺省转换。图表使用隐式的顺序输出转换(见隐式排序)。

Stateflow图表与顶级状态称为A和B状态B亚态称为B1和B2。

最初,图表是睡着了。状态一个是活跃的。事件E_one发生和唤醒图表处理事件从根沿着层次结构:

  1. 图根检查是否有一个有效的转换的结果E_one。

    有一个有效的过渡状态一个将超级大国B。如果事件的转变是有效的E_one或E_two发生。

  2. 状态一个退出操作执行和完成(exitA ())。

  3. 状态一个标记为非活动。

  4. 状态B活跃的标记。

  5. 状态B输入操作执行和完成(entB ())。

  6. 状态B检测到一个有效的缺省转换B。B1。默认的过渡是有效的E_one。

  7. 状态B。B1活跃的标记。

  8. 状态B。B1输入操作执行和完成(entB1 ())。

  9. 图表回到睡眠。

这个序列的执行完成Stateflow图表与事件相关联E_one当状态一个最初活跃。