Uml 在状态图中处理故障

我有一个有三种状态的系统。我想处理失败。也就是说，当系统重新启动时，它不知道它处于什么状态。下面的状态图正确吗

---

这不是一个有效的UML状态机图，原因如下：

开始节点是错误的符号。应该是子弹

箭叉。每个箭头（过渡）应在节点上开始和结束

Y和N没有方括号

关于语义：

决策没有有意义的文本（应参考以前存储的状态）。它们可以组合到一个决策“storedState=”中，该决策有四个传出转换，分别为[S1]、[S2]、[S3]和[empty]

将状态存储在持久性存储器中以便在崩溃时恢复的操作不存在

如果所有决策都产生N，则对象将立即销毁，而不是以某种默认状态结束

我不明白A1、A2和A3的意图

---

也许最好先在没有重新启动逻辑的情况下显示该图，然后告诉我们您试图添加到该图中以处理故障的内容。

这不是一个有效的UML状态机图，原因如下：

开始节点是错误的符号。应该是子弹

箭叉。每个箭头（过渡）应在节点上开始和结束

Y和N没有方括号

关于语义：

决策没有有意义的文本（应参考以前存储的状态）。它们可以组合到一个决策“storedState=”中，该决策有四个传出转换，分别为[S1]、[S2]、[S3]和[empty]

将状态存储在持久性存储器中以便在崩溃时恢复的操作不存在

如果所有决策都产生N，则对象将立即销毁，而不是以某种默认状态结束

我不明白A1、A2和A3的意图

---

也许最好先显示没有重新启动逻辑的图表，然后告诉我们您试图向该图表添加什么来处理故障。

图表中的启动事件在哪里？此外，防护装置未正确绘制。图中的引导事件在哪里？此外，防护装置的绘制也不正确。1-我将修复外观5-系统不会将状态存储在持久存储中，它会检查确定结果以确定其处于哪个状态。7-A是动作，过渡箭头的标签具有格式event[condition]/action，例如onRain[no-umber]/run。这三个元素中的每一个都是可选的。1-我将修复美学5-系统不会将状态存储在持久性存储中，它会检查确定以确定其处于哪个状态。7-A是动作，过渡箭头的标签具有格式event[condition]/action，例如onRain[no-umber]/run。这三个元素中的每一个都是可选的。