Conceptbase.cc Voer metamodeling en methode-engineering uit met behulp van een deductieve database.
Download nu

Conceptbase.cc Rangschikking & Samenvatting

Conceptbase.cc Tags

kijker visie staan voor deductief systeem deductief Deductief databasesysteem abstractieniveau vertegenwoordigen meta-klasse

Conceptbase.cc Beschrijving

ConceptBase.cc is een deductief databasesysteem met meerdere gebruikers met een object-gecentreerd gegevensmodel. Het vermogen om informatie te vertegenwoordigen op een abstractieniveau (gegevens, klasse, metaclass, meta-metaclass) maakt het een krachtig hulpmiddel voor metamodeling en engineering van op maat gemaakte modelleertalen. Het systeem wordt vergezeld door een zeer configureerbare grafische gebruikersinterface die opbouwt op de op logica gebaseerde functies van de ConceptBase.cc-server. ConceptBase.cc kan informatie op het gegevensniveau vertegenwoordigen (voorbeeldgegevens, sporen van procesuitvoeringen), het klassenniveau (schema's, procesdefinities), het metaclassiveau (constructies van modelleertalen), het meta-metaclass-niveau (constructies voor het definiëren van modellering Talen), enzovoort. Uniform object-weergave. Alle objecten worden weergegeven in een uniforme vierpersoons-gegevensstructuur genaamd P-FACTS pioniered door de ontwikkelaars van de Telos-taal. Objecten, hun attributen, specialisaties en instantiaties zijn allemaal vertegenwoordigd als p-feiten. Hierdoor kunnen bijvoorbeeld attributen van objecten attributen hebben en zijn er gevallen van andere attributen. Zelfs specialisatie tussen kenmerken is volledig ondersteund. Logische uitdrukkingen. Regels, beperkingen en query's worden uitgedrukt in de logische formules van de eerste orde. Intern transformeert het systeem ze in hoornclausules geïnterpreteerd door een datalog-gebaseerde evaluatie-machine. Logische uitdrukkingen in ConceptBase.cc kunnen variëren over elk object, ongeacht het type (Knooppunt Vs.) en het abstractieniveau. Datalog staat bekend als het meest robuuste computationele systeem voor het evalueren van logische uitdrukkingen. Actieve regels. Actieve regels Werk de database bij of bel externe routines als reactie op evenementen.

Conceptbase.cc Gerelateerde software