预订演示
前页 后页

复合州和区域

状态建模必须是分层的,以处理工程系统的复杂性;SysML 提供了两种机制来在状态机中对这种层次结构进行建模:

  • 区域-它们是状态机的独立部分
  • 复合状态- 包含其他状态的状态
系统及其包含的对象通常表现出并发行为,即两件事可以同时发生;这些单独的行为通常相互作用以创建复杂的基于状态的行为。这些行为通常以状态机描述的块表示,可能涉及具有不同生命周期的部分。这些情况可以使用区域建模;状态机可以包含任意数量的区域,每个区域都有自己的一组状态、伪状态和连接它们的转换。

A本身可能需要分层,其中单个状态可以分解为多个子状态,这些子状态表示构成复合状态的一部分的状态。例如,机器人可能有操作和维护状态;维护状态可以分解为多个子状态状态如充电电池、更新环境和更新软件模块。这些状态中的每一个都可以分解为许多其他状态。

Enterprise Architect通过提供一系列可用于对状态机所有方面(包括复合建模状态和区域)模型模型模式,为复杂状态行为建模提供了一个有用的起点。

复合状态用 oo(“无穷大”)符号表示,并引用子图。单击图标即可预览子图。双击元素或图表预览将打开图表进行编辑。

可以使用模型构建器访问这些模式。

此图显示了根据状态和区域模式创建的图表,该图表已简单地注入模型并作为建模者的起点。建模者可以通过替换状态和转换的名称以及根据需要添加或删除区域来定制图表。

状态B中的区域提供区域One 和区域Two 中的并行流程。