UML状态图：交叉正交区域触发器

我正在研究UML状态图，同时分析我们的一个客户可以拥有的状态。我试图使用一个具有正交区域的复合状态，其中一个原因中的一个状态是另一个正交原因中至少一个状态更改的触发器

我意识到我可能试图使用错误的范式来对此进行建模，因此请随意在此基础上纠正我，但出于本问题的目的，有一个简化但稍微更详细的情况解释：

• 客户的“活动”状态有3个正交区域，我将它们称为R1、R2和R3
• R1具有“账户提款禁用”和“提款启用”状态
• R2具有“ID未验证”和“ID已验证”状态
• R3有“仅现金账户”和“信用账户”

只有R1处于“提款启用”状态，R2处于“ID验证”状态，再加上另一个触发器，R3才会从“仅现金”更改为“信用”

在绘制状态图时，是否有有效的方法使一个正交区域（至少部分）中的一个状态转换依赖于其他正交区域中的一组状态？如果没有，我还可以用什么方式来表示

（顺便说一句，我曾想过分别对账户状态进行建模，但该领域的讨论让我觉得将其作为客户状态的一部分进行集成更有用）

---

提前谢谢你的帮助。

我会用这样的护卫

假设

R1

和

R2

本身就是状态机

---

也许有一种更正式的正确方式来描述卫兵。但我想读者可以理解它背后的思想。

你能在问题中加入你已经尝试过的图表（可能是多个，甚至是那些被丢弃的）？虽然我认为我理解这个问题，但我想确定一下。此外，我可能还需要进一步提问，因为您描述的情况的建模可能取决于细节。还要确保包括转换，因为它可能会影响你正在做的事情。