状态和行为

状态是在上下文A时间状态机内创建的，用于模型用于工程师定义的拥有块的重要条件。重要的是要记住，状态机是从特定的角度描述块的生命周期，并且必须从这个角度定义状态 - 不是所有状态，而是重要的状态，例如 On/Off、Open/Closed ，绿色/琥珀色/红色或冰/水/蒸汽。形式上，状态模型化了状态机行为执行中的情况，其中某些不变条件在特定持续时间内保持不变。

A块通常会在给定的状态下花费一些时间，这可能会持续纳秒或几天，具体取决于上下文；这个时间方面通常不会在模型中编码，但可以在模拟中设置。对于任何给定的状态，可以定义三种行为（称为行动）：

• Entry - 输入状态时触发
• Do - 在进入行为之后和退出行为之前触发
• Exit - 在状态退出之前触发

需要注记的是，终点节点在形式上也是一种状态，但它不具有与圆角矩形图上表示的状态相同的行为语义。

状态分为三种基本类型，每一种对于建模不同类别的问题都很重要：

• 简单状态——不包含内部状态
• 复合状态- 包含至少一个拥有状态的区域
• 子机状态——表示嵌套在所属状态中的整个状态机