Zum Inhalt springen

Prinzip04 von 06

Warum braucht eine ausgeführte Handlung eine prüfbare Spur?

Jede Handlung hinterlässt eine Spur

Eine Handlung braucht eine Spur, die sich später prüfen lässt. KALKÜL soll dazu Einträge verketten und nachträgliche Änderungen im Verlauf erkennbar machen.

Lesezeit
2 Min.
Erstfassung
Stand
Bauplan
Auf dieser Seite
  1. 01Das Modell
  2. 02Der Grundsatz
  3. 03Warum
  4. 04Wie es arbeiten soll
  5. 05Schritt für Schritt
  6. 06Grenzen
  7. 07Zusammenhang

Das Modell

Jede Handlung hinterlässt eine Spur. 1 Handlung: Ein bestimmter Vorgang wird als Eintrag beschrieben. 2 Vorgänger: Der letzte Prüfwert wird übernommen. 3 Neuer Eintrag: Inhalt und Vorgänger ergeben den nächsten Prüfwert. 4 Prüfung: Der Verlauf wird neu gerechnet und mit dem gespeicherten Stand verglichen.Eintrag 1Regel geprüftprev Startwerthash Prüfwert AEintrag 2Handlung ausgeführtprev Prüfwert Ahash Prüfwert BEintrag 3Ergebnis versiegeltprev Prüfwert Bhash Prüfwert CPrüfungvon Eintrag 1 bis 3Eintrag 1 stimmtEintrag 2 stimmtEintrag 3 stimmtJede Handlung hinterlässt eine Spur. 1 Handlung: Ein bestimmter Vorgang wird als Eintrag beschrieben. 2 Vorgänger: Der letzte Prüfwert wird übernommen. 3 Neuer Eintrag: Inhalt und Vorgänger ergeben den nächsten Prüfwert. 4 Prüfung: Der Verlauf wird neu gerechnet und mit dem gespeicherten Stand verglichen.Eintrag 1Regel geprüftprev Startwerthash Prüfwert AEintrag 2Handlung ausgeführtprev Prüfwert Ahash Prüfwert BEintrag 3Ergebnis versiegeltprev Prüfwert Bhash Prüfwert CPrüfungvon Eintrag 1 bis 31 stimmt2 stimmt3 stimmt
  1. HandlungEin bestimmter Vorgang wird als Eintrag beschrieben.
  2. VorgängerDer letzte Prüfwert wird übernommen.
  3. Neuer EintragInhalt und Vorgänger ergeben den nächsten Prüfwert.
  4. PrüfungDer Verlauf wird neu gerechnet und mit dem gespeicherten Stand verglichen.
Abb. 1Modell aus Grundbegriffen, ohne Daten. Verkettung macht Zusammenhänge prüfbar. Ihre Aussagekraft hängt vom aufbewahrten Vergleichsstand ab.

Der Grundsatz

Entscheidung und Ergebnis gehören in eine zusammenhängende, prüfbare Spur.

Warum

Ein einzelner Eintrag zeigt, was ein Programm behauptet hat. Eine spätere Prüfung braucht mehr: welche Aufgabe davor stand, welche Regel geprüft war, was danach geschah. Wird ein Eintrag nachträglich verändert, darf dieser Bruch nicht unsichtbar bleiben. Eine verkettete Spur erleichtert die Prüfung. Sie beantwortet aber eine andere Frage als die fachliche Richtigkeit des Vorgangs, und sie braucht einen klar benannten Vergleichswert.

Wie es arbeiten soll

Der gebaute Kontrollprototyp bildet aus jedem Eintrag und dem Prüfwert seines Vorgängers einen neuen Prüfwert. Die Prüfung rechnet den Verlauf nach und benennt die erste abweichende Stelle. Das ist der gebaute Kern hinter dem Siegel von KALKÜL. Eine externe Abschrift erlaubt den Vergleich mit einem früheren Stand. Ohne diesen Vergleich bleibt ein vollständig neu berechneter Verlauf in sich stimmig. Versiegeln beschreibt darum eine begrenzte Prüfmechanik, keinen pauschalen Schutz vor Änderung.

Schritt für Schritt

  1. Die konkrete Entscheidung und ihre Handlung als Eintrag festhalten.
  2. Den Prüfwert des Vorgängers in den neuen Prüfwert einbeziehen.
  3. Bei Bedarf eine unabhängige Abschrift als Vergleichsstand aufbewahren.
  4. Die Kette nachrechnen und die erste gemeldete Abweichung untersuchen.

Grenzen

Nachweis offen

Nachweis der Protokollkette: noch ohne reproduzierbaren Beleg. Der Abschnitt beschreibt den Bauplan.

  • Eine stimmige Kette bestätigt nicht die Wahrheit einer ursprünglich falschen Eingabe.
  • Ohne unabhängigen Vergleich bleibt vollständiges Neuberechnen eine ausdrückliche Grenze.
  • Der Kontrollprototyp belegt keine externen Zeitstempel, keine Zertifizierung und keine dauerhafte Aufbewahrung.

Zusammenhang