UML 2.5.1/PSSM是否允许复合转换单次进出同一组合状态？

场景描述 #

在下图所示的状态机中，存在一条转换路径：从wait状态出发，进入S1状态（执行其Entry行为），随后立即退出S1状态（执行其Exit行为），最终到达终态。

规范合规性疑问 #

该转换是否符合UML 2.5.1 / PSSM规范？

根据定义，复合转换（compound transition）是源集和目标集均为状态的非循环路径——相关规则仅约束端点并禁止重复顶点，本案例并未违反这些规则。目前未找到任何条款限制复合转换在趋向稳定配置的路径中可以跨越（或重复跨越）哪些边界。

因此需要明确：规范是否真的允许复合转换在单个run-to-completion步骤中进入并退出同一组合状态？若不允许，哪项条款对此作出了禁止？

工具支持疑问 #

另外，Papyrus/Moka、itemis CREATE等UML实现工具对该转换是支持还是拒绝？

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