Zweck
Rechenlauf
—
Phasen
Invarianten
Werden nach jeder Phase geprüft. Eine verletzte Invariante bricht den Lauf ab (R37).
Ereignisprotokoll
Ereignisse mit laufender Nummer (seq) und Uhrzeit Europe/Berlin — bei Verbindungsabbruch wird lückenlos ab der letzten Nummer fortgesetzt.