ConceptBase.cc

Omschrijving

ConceptBase.cc is een deductief databasesysteem voor meerdere gebruikers met een objectgecentreerd gegevensmodel. Het vermogen om informatie weer te geven op elk abstractieniveau (gegevens, klasse, metaklasse, meta-metaklasse) maakt het een krachtig hulpmiddel voor metamodellering en engineering van aangepaste modelleringstalen. Het systeem gaat vergezeld van een zeer configureerbare grafische gebruikersinterface die voortbouwt op de op logica gebaseerde functies van de ConceptBase.cc-server. ConceptBase.cc kan informatie weergeven op dataniveau (voorbeeldgegevens, sporen van procesuitvoeringen), het klasseniveau (schema's, procesdefinities), het metaklasseniveau (constructies van modelleertalen), het meta-metaklasseniveau (constructies voor het definiëren van modellering talen), enzovoort. Uniforme objectweergave. Alle objecten worden weergegeven in een uniforme viervoudige datastructuur genaamd P-facts, ontwikkeld door de ontwikkelaars van de Telos-taal. Objecten, hun attributen, specialisaties en instantiaties worden allemaal weergegeven als P-feiten. Hierdoor kunnen attributen van objecten bijvoorbeeld attributen hebben en instanties zijn van andere attributen. Zelfs specialisatie tussen attributen wordt volledig ondersteund. Logische uitdrukkingen. Regels, beperkingen en query's worden uitgedrukt in logische formules van de eerste orde. Intern transformeert het systeem ze in Horn-clausules die worden geïnterpreteerd door een op Datalog gebaseerde evaluatiemachine. Logische expressies in ConceptBase.cc kunnen zich over elk object uitstrekken, ongeacht het type (knooppunt versus link) en het abstractieniveau. Datalog staat bekend als het meest robuuste computersysteem voor het evalueren van logische uitdrukkingen. Actieve regels. Actieve regels werken de database bij of roepen externe routines op als reactie op gebeurtenissen.