如何用UML活动图建模含两个独立阶段的实时嵌入式软件活动

问题背景 #

我需要为实时嵌入式软件（RT/Embedded SW）的活动正确构建UML活动图。该活动包含两个阶段，阶段2在阶段1完成后间隔较长时间运行（二者并非并行）。补充细节：

• 两个阶段为GenResultsPhaseONE和GenResultsPhaseTWO_andOutput，二者无程序关联，但存在重复同步处理周期：
  • T1时调用GenResults_Phase1，生成并保存ResultData_Temp；
  • T2时调用GenResultsPhaseTWO_andOutput，读取该临时数据处理后输出更新结果。
• 阶段1不会控制或调用阶段2，也不传递“控制令牌（control token）”触发其运行，二者相互独立，但阶段2会先检查阶段1是否已执行。

核心疑问 #

1. 该活动属于单一活动还是两个独立活动？
2. 若为两个独立活动，能否合法在同一张UML活动图中建模（可选择使用分区）？

解答 #

1. 判定：属于两个独立活动 #

从UML活动图的定义和场景细节来看，这是两个独立的活动，原因如下：

• 二者无直接控制流关联：阶段1不传递控制令牌触发阶段2，阶段2的启动完全依赖自身调度周期T2，而非阶段1的完成信号；
• 仅通过共享数据（ResultData_Temp）间接关联，而非活动内部的控制或数据流传递；
• 运行间隔长且调度独立，符合独立活动的特征——各自有独立的触发条件和执行周期。

2. 可以在同一张活动图中合法建模 #

UML允许在同一张活动图中展示多个独立活动，常用实现方式包括：

• 使用分区（Partition/Swimlane）：将两个阶段分别放在不同分区，清晰区分各自的执行逻辑和调度触发。比如一个分区标注为「Phase1 调度周期T1」，另一个标注为「Phase2 调度周期T2」；
• 设置独立初始节点：给每个活动配置独立的初始节点，代表各自的启动触发（如T1定时器触发、T2定时器触发）；
• 用决策节点实现阶段2的检查逻辑：在GenResultsPhaseTWO_andOutput的初始步骤添加决策节点，判断ResultData_Temp是否存在/阶段1已执行，再分支到后续处理或等待/报错流程。

简化建模逻辑示例：

• 分区1（Phase1）：
  初始节点 → T1定时器触发 → 执行GenResults_Phase1 → 保存ResultData_Temp → 活动结束节点
• 分区2（Phase2）：
  初始节点 → T2定时器触发 → 决策节点：检查阶段1是否已执行？
  • 是 → 读取ResultData_Temp → 执行GenResultsPhaseTWO_andOutput → 输出结果 → 活动结束节点
  • 否 → （可选）等待/记录日志 → 活动结束节点

内容的提问来源于stack exchange，提问作者avi10000