处理状态图中的故障

Question

我有一个具有3个状态的系统。我想处理失败。也就是说，当系统重新引导时，它不知道它所处的状态。以下状态图是否正确？

Answer 1

由于以下几个原因，这不是有效的UML状态机图：

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

关于语义：

1. 决策没有有意义的文本（应引用先前存储的状态）。可以将它们组合为一个决策“ storedState =”，该决策具有四个传出的过渡，保护为[S1]，[S2]，[S3]和[空]。
2. 不存在用于将状态存储在持久性存储中以便在崩溃时恢复的操作。
3. 如果所有决策均得出N，则该对象将立即销毁，而不是以某种默认状态结束。
4. 我不了解A1，A2和A3的意图。

也许最好先显示没有 重启逻辑的逻辑示意图，然后告诉我们您试图如何添加该逻辑示意图以处理故障。