Каждое состояние (или график) имеет decomposition, который диктует, какие подсостояния состояние (или график) может содержать. Все подсостояния сверхдержавы должны иметь тот же тип как разложение сверхдержавы. Разложение состояния может быть исключительным (OR) или параллель (AND).
Подсостояния со сплошными границами указывают исключительный (OR) разложение состояния. Используйте это разложение, чтобы описать рабочие режимы, которые являются взаимоисключающими. Когда состояние имеет исключительный (OR) разложение, только одно подсостояние может быть активным за один раз.
В следующем примере, любом A
состояния или
B
состояния может быть активным. Если
A
состояния активно, любой
A1
состояния или
A2
состояния может быть активным в установленный срок.
Подсостояния с пунктирными границами указывают на параллель (AND) разложение. Используйте это разложение, чтобы описать параллельные рабочие режимы. Когда состояние имеет параллель (AND) разложение, все подсостояния активны одновременно.
В следующем примере, когда A
состояния активно,
A1
и A2
оба активны одновременно.
Действие в параллельных состояниях чрезвычайно независимо, как продемонстрировано в следующем примере.
В следующем примере, когда A
состояния становится активным, оба состояния
B
и C
станьте активными одновременно. Когда C
состояния становится активным, любой
C1
состояния или
C2
состояния может быть активным.