UML状态机中初始状态与汇合伪状态的歧义消除方法

根据UML 2.5.1规范（14.2.4.6节），初始状态与汇合伪状态均以实心小圆表示。规范14.5.6.7节明确了无歧义的判定场景：

• 若节点有多条出转换：只能是汇合伪状态（初始状态禁止多条出转换）
• 若节点无入转换：只能是初始状态（汇合伪状态禁止无入转换）

但当节点存在入转换且恰好一条出转换时，会出现语义歧义——该场景既符合汇合伪状态的约束，又因初始状态对入转换数量无限制，看起来也适用。

针对你提出的具体场景：当有其他状态转换至s0时，该实心小圆应被判定为汇合伪状态（无默认初始功能），而非默认起始的初始状态。

判定依据 #

初始状态的核心语义是定义复合状态激活时的默认进入路径，仅在复合状态被首次激活时触发，并不用于接收来自其他状态的转换。而汇合伪状态的作用正是将多条入转换合并为一条出转换，允许接收外部状态的入转换，完全匹配当前场景的行为逻辑。

示例参考图：

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