← Übersicht

Doku: Abdeckung: Schritt hat Artefakt (I1)

Invariante I1: jeder Prozess-Schritt muss mindestens ein Artefakt berühren.

  • Mechanik: Deferred Constraint Trigger
  • Prüfung: am Transaktionsende, je Schritt.

Frühere Versionen

VersionZeitpunktOperation
19 2026-07-16 11:01:53.723399+02 UPDATE