前页 | 后页 |
状态和行为
状态是在上下文A时间状态机内创建的,用于模型用于工程师定义的拥有块的重要条件。重要的是要记住,状态机是从特定的角度描述块的生命周期,并且必须从这个角度定义状态 - 不是所有状态,而是重要的状态,例如 On/Off、Open/Closed ,绿色/琥珀色/红色或冰/水/蒸汽。形式上,状态模型化了状态机行为执行中的情况,其中某些不变条件在特定持续时间内保持不变。
A块通常会在给定的状态下花费一些时间,这可能会持续纳秒或几天,具体取决于上下文;这个时间方面通常不会在模型中编码,但可以在模拟中设置。对于任何给定的状态,可以定义三种行为(称为行动):
- Entry - 输入状态时触发
- Do - 在进入行为之后和退出行为之前触发
- Exit - 在状态退出之前触发
需要注记的是,终点节点在形式上也是一种状态,但它不具有与圆角矩形图上表示的状态相同的行为语义。
状态分为三种基本类型,每一种对于建模不同类别的问题都很重要:
- 简单状态——不包含内部状态
- 复合状态- 包含至少一个拥有状态的区域
- 子机状态——表示嵌套在所属状态中的整个状态机