转换
一个过渡是一条直线和一个箭头链接一个图形对象到另一个地方。在大多数情况下,一个过渡代表系统的通道(状态)到另一个从一个模式。转换通常连接源和目标对象。的源对象是过渡的开始目的地对象是过渡结束的地方。下面的图表显示了从一个源状态转换,B一个目的地国家,一个。
连接过渡划分为过渡段。在这种情况下,一个完整的过渡的部分从原点到目标状态。每一部分评估过程中确定一个完整的有效性过渡。
下面的示例有两个分段转换:从状态在州从,另一个国家在本身:
一个默认的转换是一种特殊类型的转变,没有源对象。看到默认的转换获取详细信息。
过渡的层次结构
状态不能包含其他对象的方式的转换。然而,状态所包含的转换。一个过渡的层次结构描述的家长,源和目的地国家。父是最低水平,包含源和目标的过渡。考虑下面的示例中的父母转换:
下表解析每个过渡的血统在前面的例子。的/角色代表了图表。每个层次的国家分离的时期(。)字符。
过渡的标签 |
转变家长 |
转换源 |
过渡的目的地 |
|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
过渡标签符号
一个过渡的标签可以包含一个事件或消息,条件,条件行动,和过渡作用。标签的各个部分是可选的。的吗?性格是默认转换标签。过渡标签有一个整体的格式:
event_or_message(条件){condition_action}/transition_action
这个例子说明了一个过渡的部分标签。
事件或消息触发
指定一个事件或消息导致过渡条件为真时发生。使用或逻辑操作符(指定多个事件|)。指定一个事件或消息是可选的。没有一个事件或消息表明,过渡发生在任何事件的发生。有关更多信息,请参见通过广播事件同步模型组件和与Stateflow图表通过发送消息。
在上一个示例中,事件的广播E触发器的过渡在来从如果条件(off_count = = 0)是真的。
条件
指定了一个布尔表达式,当事实,验证转换为指定的事件或消息触发。在方括号(封闭条件[])。如果没有指定条件,一个隐含条件的求值结果为true。有关更多信息,请参见条件。
在前面的示例中,当事件E发生的条件(off_count = = 0)必须评估的真正转变的在来从是有效的。
条件作用
执行条件转变后评估是正确的,但是在过渡到目的地之前决心是有效的。在花括号(封闭条件的行动{})以下的条件。有关更多信息,请参见条件操作行为。
在前面的示例中,如果事件E发生的条件(off_count = = 0)条件是正确的,那么行动{off_count = off_count + 1}立即执行。
过渡行动
执行转换到目的地后决心是有效的。如果过渡由多个片段,然后过渡行动执行当整个过渡路径最终目的地决心是有效的。过渡行为发生后的退出行为源输入操作前状态和目标状态。与之前的过渡措施/。有关更多信息,请参见条件和过渡操作行为。
在前面的例子中,如果事件E发生的条件(off_count = = 0)是真的,那么过渡行动{Light_off ()}执行时的过渡在来从决心是有效的。过渡动作之后发生在变得不活跃,但之前从变得活跃。
只在Stateflow过渡行动支持金宝app®图表在仿真软件金宝app®模型。
有效的转换
通常,当源有效状态转换的过渡是活跃和过渡的标签是有效的。默认的转换是不同的,因为没有源状态。默认亚态过渡的有效性评估有过渡到超级大国时,假设超级活跃。这个标签标准同时适用于默认的转换和一般情况下转换。下表列出了可能的组合的有效过渡标签。
过渡的标签 |
是有效的,如果…… |
|---|---|
活动只 |
这事件发生时 |
事件和条件 |
事件发生时,条件是正确的 |
消息只 |
这个消息发生 |
信息和条件 |
消息发生和条件是正确的 |
条件只 |
任何事件发生时,条件是正确的 |
行动只 |
任何事件发生时 |
未指定 |
任何事件发生时 |
过渡连接
状态与独家(或)的转换
这个例子展示了简单的状态与独家(或)的转换。
| 以下过渡…… | 是有效的,当… |
|---|---|
B来一个 |
状态B活动和事件吗E1发生。 |
A1来A2 |
状态A1是活动和事件E2发生。 |
看到独家之间的过渡状态更多信息的语义符号。
过渡与连接
下面的图表显示了过渡与连接词连接。
图表输入时使用时序逻辑来确定u等于1。
| 如果输入= 1… | 过渡发生从… |
|---|---|
| 在t = 2 | 开始来快 |
| 在t = 2和5 t = | 开始来好 |
| 在t = 5 | 开始来慢 |
时序逻辑的更多信息,请参阅利用时序逻辑控制图执行。这个符号的语义上的更多信息,见从一个共同的源过渡到多个目的地。
转换与(或)超级大国
这个例子展示了转换与独家(或)超级大国和使用一个默认的过渡。
图表有两个州在最高层次的,Power_off和Power_on。默认情况下,Power_off是活跃的。事件开关系统之间的切换Power_off和Power_on州。Power_on有三个亚态:第一个,第二个,第三。默认情况下,当Power_on变得活跃,第一个也变得活跃。当转变= 1,系统转换第一个来第二个,第二个来第三,第三来第一个,对于每一个事件的发生开关,然后重复的模式。
这个符号的语义上的更多信息,见通过使用默认转换控制图执行。
与亚态的转换
下面的例子展示了转换与(或)亚态。
有关这个图表是如何工作的,看到的防反跳信号与故障检测。这个符号的语义信息,请参阅从亚态过渡到亚态与事件。
