处理状态图中的故障

Question

我有一个具有 3 个状态的系统。我想处理失败。也就是系统重启的时候不知道自己所处的状态，下面的状态图对吗？

Answer 1

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

1. 起始节点符号错误。应该是子弹。
2. 箭头叉。每个箭头（过渡）都应该在一个节点上开始和结束。
3. Y 和 N 没有方括号。

关于语义：

4. 决策没有有意义的文本（应参考先前存储的状态）。它们可以组合成一个决策“storedState =”，该决策具有四个传出转换，分别保护为 [S1]、[S2]、[S3] 和 [empty]。
5. 不存在将状态存储在持久存储中以便在崩溃时恢复的操作。
6. 如果所有决策都产生 N，则立即销毁对象，而不是以某种默认状态结束。
7. 我不明白 A1、A2 和 A3 的意图。

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