History-Zustände dienen als
"Rücksprungadressen" in so genannte
ODER-verfeinerte Zustände (composite states, vgl.
XOR-Dekomposition).
Ein mit einem deep history-Zustand
ausgestatteter ODER-verfeinerter Zustand "führt
Buch" über den zuletzt aktiven Subzustand, der
im Zuge einer Transition in diesen History-Zustand
automatisch wieder angenommen wird. Eine vom History-Zustand
wegführende Transition wird durchgeführt, wenn
zuvor noch keiner der Subzustände aktiv war, wenn also
der verfeinerte Zustand zum ersten Mal, und zwar über
seinen History-Zustand, erreicht wird.
Die "Buchhaltung" eines History-Zustands (deep
history) bezieht sich auf alle Zustände von beliebigen
Verfeinerungsebenen innerhalb eines verfeinerten Zustands,
der diesen History-Zustand beherbergt.