预订演示
前页 后页

复合州和区域

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

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

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

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

复合状态由 oo('infinity')符号表示并引用子图。可以通过单击图标预览子图。双击图表预览上的元素或将打开图表进行编辑。

可以使用模型向导首页(“创建自”选项卡)访问这些模式。

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

状态B中的区域提供区域一和区域二中的并行流程。