Zwei Fragen an die Zeit
Eine Lage hängt von zwei Zeiten ab. Der Stichtag s fragt, was in der Welt galt: Welche Objekte, welche Beziehungen, welche Gruppen gab es zu diesem Zeitpunkt? Der Wissensstand k fragt, was das System wusste: Welche Meldungen waren bis zu diesem Zeitpunkt eingegangen, welche Korrekturen schon gebucht? Die Lage L(s, k) beantwortet beides zugleich.
Beide Zeiten brauchen verschiedene Antworten. Wer prüft, was am Stichtag hätte bekannt sein können, wählt k kurz nach s. Wer wissen will, wie die Vergangenheit nach heutigem Wissen aussah, wählt k jetzt. Die Unterscheidung heißt bitemporale Modellierung; SQL:2011 kennt die beiden Achsen als Anwendungszeit und Systemzeit.
Erst beide Zeiten zusammen machen eine Entscheidung nachvollziehbar. Eine Vorlage trägt den Wissensstand, auf dem sie erstellt wurde, und so lässt sich später dieselbe Lage wieder aufrufen, auch wenn Meldungen inzwischen nachgeliefert oder korrigiert wurden.
Dieselbe Lage, später wieder aufgerufen
Ereignisse aus drei Quellen, zu zwei Zeitpunkten eingegangen. Ein Nachtrag trifft später ein und gehört zur früheren Gruppe. Das Fenster ruft den Stand zu einem Stichtag auf, alles andere tritt zurück.
- Quellen: Leittechnik, Sensorik, Dokumente.
- Zone: Nachtrag.
- Fenster: Stichtag.
- Objekt: Objekt.
- Objekt: Objekt.
Wiederherstellen ohne Kopien
ARGUS legt keine Kopie der Lage zu jedem Zeitpunkt an. Die Lage ist eine Funktion: Sie entsteht aus den Ereignissen bis k, den Aussagen der Ontologie mit ihren Zeitintervallen und den Regeln der Verdichtung. Eine Abfrage mit Stichtag und Wissensstand filtert die Aussagen, deren Gültigkeit s einschließt und deren Erfassung k einschließt, und rechnet die Lage daraus.
Damit das Ergebnis dasselbe ist wie damals, gehören die Regeln der Verdichtung in die Rechnung: Radius, Zeitfenster und Mindestzahl, mit der Version, die zu k galt. Eine Lage, die mit anderen Parametern neu gerechnet würde, wäre eine andere. Die Version der Regeln steht darum in jeder Lage und in jeder Vorlage, die auf ihr beruht.
Für häufig aufgerufene Zeitpunkte, etwa den Stand zu einer Entscheidung, hält ARGUS das berechnete Ergebnis mit einem SHA-256-Prüfwert vor. Stimmt der Prüfwert nach einer erneuten Rechnung nicht, ist das ein Befund und kein Rundungsfehler: Entweder haben sich die Eingaben oder die Regeln geändert.
Lage als Funktion
Oben die beiden Fragen, Stichtag und Wissensstand. Darunter der Stand aus Ereignissen, Aussagen mit Intervallen und der Version der Verdichtung. Unten die Lage, die daraus folgt.
- Frage (zwei Zeiten): Stichtag, Wissensstand.
- Stand (bis zum Wissensstand): Ereignis, Aussage, Version.
- Lage (berechnet): Objekt, Beziehung.
- filtert und rechnet: fließt von frage nach lage.
Vergleichen und Verlauf
Zwei Zeitpunkte lassen sich nebeneinanderlegen. Der Vergleich nennt Objekte, die hinzugekommen oder weggefallen sind, Eigenschaften, die sich geändert haben, Beziehungen, die neu sind, und Gruppen, die gewachsen, zerfallen oder zusammengewachsen sind. Er zeigt auch, was sich zwischen zwei Wissensständen für denselben Stichtag geändert hat, also was später bekannt wurde.
Der Verlauf eines Objekts ist die Folge seiner Aussagen mit beiden Zeiten. Eine Wiedergabe der Lage über einen Zeitraum springt nicht in festem Takt, sondern von Änderung zu Änderung: Jeder Schritt ist ein Ereignis, das die Lage verändert, und lässt sich anhalten, zurückspulen und mit der zugehörigen Meldung belegen.
Korrekturen und Nachträge
Eine Korrektur überschreibt nichts. Sie schließt die Erfassungszeit der alten Aussage und legt eine neue an. Die Lage mit dem alten Wissensstand sieht die alte Aussage weiter, die Lage mit dem neuen die neue. Ein Nachtrag, also ein Ereignis, das erst später ankommt, aber früher geschah, ordnet sich in die Vergangenheit ein und ändert nur die Lagen mit späterem Wissensstand.
Ist der Zeitpunkt eines Geschehens selbst unsicher, trägt das Ereignis ein Intervall statt eines Zeitpunkts. Die Lage zeigt es dann für alle Stichtage in diesem Intervall als möglich und nicht als gewiss. Die Unsicherheit der Zeit geht in das Vertrauen ein und wird nicht stillschweigend auf einen Wert gesetzt.
Rechte, Löschung und Aufbewahrung
Auch der Blick zurück unterliegt dem Recht. Wer eine frühere Lage aufruft, sieht davon nur, was seine Rechte und der Zweck seiner Abfrage heute erlauben; Markierungen reisen mit den Werten und gelten für jeden Stand. Die Zeitachse ist kein Weg an den Rechten vorbei.
Wird ein Wert gelöscht, weil eine Frist abläuft oder eine betroffene Person es verlangt, fehlt er in allen Ständen, auch in früheren. Gelöscht heißt hier wirklich gelöscht; im Verlauf bleibt ein Nachweis, dass und wann gelöscht wurde, ohne den Wert. Wie lange Stände aufbewahrt werden, legt die Organisation je Objekttyp nach dem Fachrecht fest. Ältere Stände liegen in verdichteter Form, die sich bei Bedarf voll herstellen lässt.
Eckdaten
- Zeiten
- Gültigkeitszeit (Stichtag) und Erfassungszeit (Wissensstand); bitemporal, Begriffe nach SQL:2011
- Lage
- L(s, k): Funktion aus Ereignissen bis k, Aussagen mit Intervallen und der Version der Verdichtung
- Regeln der Verdichtung
- Radius, Zeitfenster, Mindestzahl mit Version; Teil jeder Lage und jeder Vorlage
- Prüfwert
- SHA-256 über das berechnete Ergebnis für häufig aufgerufene Zeitpunkte
- Vergleich
- neue und weggefallene Objekte, geänderte Eigenschaften, neue Beziehungen, Gruppen; auch zwischen Wissensständen
- Wiedergabe
- von Änderung zu Änderung, nicht im festen Takt
- Korrektur
- schließt die Erfassungszeit der alten Aussage, überschreibt nichts
- Unsichere Zeit
- Intervall statt Zeitpunkt; geht in das Vertrauen ein
- Löschung
- wirkt in allen Ständen; Nachweis ohne den Wert
Weiter
- ARGUS · TechnikMeldungenWie ARGUS Meldungen aus Leitstellen, Sensorik und Formularen in Ereignisse mit Zeit, Ort, Quelle und Vertrauen übersetzt und Dubletten erkennt.
- ARGUS · TechnikVerdichtenWie ARGUS Ereignisse nach Ort und Zeit gruppiert, Objekten der Ontologie zuordnet, ihr Vertrauen fortschreibt und daraus eine Lage zu einem Zeitpunkt bildet.
- ARGUS · TechnikVorlageWie ARGUS aus einer Lage eine Entscheidungsvorlage macht, jede Aussage mit Herkunft belegt, sie von KALKÜL prüfen lässt und der zuständigen Stelle vorlegt.
- ARGUS · TechnikGraphWie ARGUS die Beziehungen der Ontologie als Graph führt, Fragen als Pfade mit Herkunft und Vertrauen beantwortet und dabei nur sichtbare Kanten benutzt.
- ARGUS · TechnikMarkierungenWie ARGUS Markierungen an Werte hängt, auf abgeleitete Werte vererbt, bei jedem Lesen prüft und Zugang nur befristet, begründet und im Verlauf erteilt.
- ProduktARGUSEreignisse verdichten, Entscheidungen vorbereiten
Welche Entscheidung wird bei Ihnen im Nachhinein geprüft? An ihr rufen wir mit Ihnen die Lage auf, wie sie damals war.