Komponenten von Dolphin

 

Laut [#!bib:fede95!#] besteht Dolphin intern aus folgenden Einheiten:

• Model-Store
• Inference-Engine
• Fact Base
• Fixer
• Query-System
• Explanation Facility
• User-Interface

Im Modell-Speicher sind die Dolphin-Modelle gespeichert, das sind Sammlungen von im wesentlichen Objekt-Definitionen , Querys , Actions und Events . Dem Modell-Speicher können neue Modelle hinzugefügt werden, indem sie im Modell-Editor (s.u. ) angelegt werden oder aus Textdateien geladen werden. Entsprechend können geladene Modelle in Textdateien entladen werden. Diese Textdateien enthalten die Modell-Beschreibungen in DML.

Die Inferenz-Maschine benutzt die Definitionen des Modell-Speichers und vorhandene Fakten aus der Faktenbasis, um neue Fakten zu generieren. Wie das genau funktioniert, ist hier nicht so wichtig, der interessierte Leser kann das in [#!bib:fede95!#] nachlesen.

Der Fixer behandelt die Aktionen und bedient die Inferenz-Maschine mit passenden Regeln . Er kann die Umwelt, das sind die Objekte der realen Welt, die verwaltet werden sollen, verändern. Bei Verwendung von SNMP löst er eine solche Veränderung mit einem Set-Request aus.

Auch das Abfrage- oder Query-System verschafft der Inferenzmaschine Regeln. Benötigt etwa die Benutzerschnittstelle Fakten über Objekte, die der Benutzer gerade untersucht, wählt das Abfrage-System Querys aus, die entsprechende Fakten generieren können.

Die Explanation Facility , die Erklärungskomponente , ist zum einen der Debugger , mit dem der Benutzer die Programmierung seiner Modelle überprüfen kann, und zum anderen die Darstellung der Ableitungen , die die Inferenzmaschine erzeugt hat. Das heißt eine Darstellung zum Beispiel, warum der zu managende Drucker nicht funktioniert, die Inferenzmaschine also eine Ableitung des Fakts ,,Drucker ist nicht bereit`` erzeugt hat. Das ist das Analysewerkzeug für den Benutzer.

Das User-Interface enthält:

• System-Manager
• Workspace
• Object-Browser
• Model-Editor
• Debugger

Es folgen Erläuterungen der einzelnen Komponenten, soweit sie für unsere Zwecke nötig sind.