ConceptBase.cc

Beschreibung

ConceptBase.cc ist ein deduktives Mehrbenutzer-Datenbanksystem mit einem objektzentrierten Datenmodell. Seine Fähigkeit, Informationen auf jeder Abstraktionsebene (Daten, Klasse, Metaklasse, Meta-Metaklasse) darzustellen, macht es zu einem leistungsstarken Werkzeug für die Metamodellierung und Entwicklung angepasster Modellierungssprachen. Das System wird von einer hochgradig konfigurierbaren grafischen Benutzeroberfläche begleitet, die auf den logikbasierten Funktionen des ConceptBase.cc-Servers aufbaut. ConceptBase.cc kann Informationen auf der Datenebene (Beispieldaten, Spuren von Prozessausführungen), der Klassenebene (Schemata, Prozessdefinitionen), der Metaklassenebene (Konstrukte von Modellierungssprachen), der Meta-Metaklassenebene (Konstrukte zur Definition von Modellierung Sprachen) und so weiter. Einheitliche Objektdarstellung. Alle Objekte werden in einer einheitlichen vierfachen Datenstruktur namens P-facts dargestellt, die von den Entwicklern der Telos-Sprache entwickelt wurde. Objekte, ihre Attribute, Spezialisierungen und Instantiierungen werden alle als P-Fakten dargestellt. Dadurch können beispielsweise Attribute von Objekten Attribute haben und Instanzen anderer Attribute sein. Sogar die Spezialisierung zwischen Attributen wird vollständig unterstützt. Logische Ausdrücke. Regeln, Einschränkungen und Abfragen werden in Logikformeln erster Ordnung ausgedrückt. Intern wandelt das System sie in Hornklauseln um, die von einer Datalog-basierten Bewertungsmaschine interpretiert werden. Logische Ausdrücke in ConceptBase.cc können sich über jedes Objekt erstrecken, unabhängig von seinem Typ (Knoten vs. Link) und seiner Abstraktionsebene. Datalog ist dafür bekannt, das robusteste Rechensystem zur Auswertung logischer Ausdrücke zu sein. Aktive Regeln. Aktive Regeln aktualisieren die Datenbank oder rufen als Reaktion auf Ereignisse externe Routinen auf.