Technologie · Entwickler
Für Entwickler.
Vier Verträge tragen das System: Objekt, Handlung, Freigabe und Protokolleintrag. Hier sehen Sie, wie sie ineinandergreifen, was Sie heute im Browser selbst nachrechnen und wo jede Schicht im Einzelnen beschrieben ist.
01 / Verträge
Ein Aufruf, vier Verträge.
Eine Handlung nennt das Objekt und die Version, die sie gelesen hat. KALKÜL rechnet sie, die Freigabe bindet sich an ihren Prüfwert, erst dann schreibt sie in die Quelle. Der Protokolleintrag nennt die Handlung und kettet sich an den Eintrag davor.
- ObjektKennung, Typ, Version, Zustand und die Herkunft jeder Beobachtung.→
- HandlungEine beabsichtigte Änderung mit begrenzter Eingabe und der Version, die sie gelesen hat.→
- FreigabeEin Ja für genau eine Handlung, an ihren Prüfwert gebunden und einmal verbrauchbar.→
- ProtokolleintragHandlung, Ergebnis und der Prüfwert des Eintrags davor.→
02 / Selbst nachrechnen
Was Sie heute im Browser prüfen.
Drei Versuche ohne Konto und ohne Zugang. Sie laufen in Ihrem Browser, auf Beispieldaten.
- PrototypFreigabe und ProtokollEin Ja für genau eine Sache verwenden, die Gegenproben versuchen und die Verkettung des Protokolls prüfen.
- PrototypPrüfwert nachrechnenDen Prüfwert eines Protokolleintrags im Browser selbst rechnen und mit dem nächsten Eintrag vergleichen.
- RechnerGegenbeispiel suchenEinen Vorschlag und die Unsicherheit wählen: KALKÜL sucht im Browser nach einem Zustand, der eine Regel bricht.
03 / Technik im Detail
Jede Schicht im Einzelnen.
Je Produkt drei Seiten mit Protokollen, Datenstrukturen, Algorithmen und Fehlerfällen.
04 / Dokumentation
Vom Begriff bis zum Betrieb.
Verfahren in der Reihenfolge, in der man ein System aufbaut, vom ersten Begriff bis zum Betrieb ohne Netz.
Einstieg
Abbild
Agenten
Lage
Freigabe und Protokoll
Betrieb
Sicherheit und Verwaltung
Bauen Sie an einer Schnittstelle mit uns.
Nennen Sie eine Schnittstelle und die Regel, die an ihr gelten muss. Wir zeigen, wie sie als Vertrag aussieht und was KALKÜL an ihr rechnet.