前页 | 后页 |
SysML状态机图表
状态机A是呈现系统元素(例如块)生命周期信息的理想工具,这些元素可能具有复杂的行为并且可能具有难以理解的生命周期。该图可用于描述实体在其生命周期或生命周期中可能经历的重要条件(状态)。通常,只有在其生命周期中具有重要阶段的实体才使用状态机图进行建模。实体被称为从一个状态状态机触发器的状态转换到另一个状态,并且可以描述允许状态转换发生的事件,可以定义限制状态变化的状态。每个状态都可以定义在进入状态时发生的行为,同时存在于状态中,以及退出状态时发生的状态。
元素
可以出现在状态机图中的主要元素类型有:
- 状态
- 状态机
- 最初的
- 终点
- 选择
- 连接点
- 入口
- 出口
- 终止
- 历史
- 分叉和汇合
- 转移
- 依赖
工具
除了状态机图本身之外, A多种工具可用于处理状态机图。这些包括:
- 状态库表表器 - 允许状态机图表在表格中可视化 - 对于某些分析师来说 - 比图表更容易理解;它包含与图表相同的信息,可以通过多种不同方式查看
- 动态仿真-允许通过状态机进行处理可视化,显示实体如何从一种状态转换到另一种状态
- 可执行状态机——它利用模拟引擎并允许状态机可视化,提供了一个完成于语言的实现,可以为多个平台上的多个软件产品形成行为“引擎”