ConceptBase.cc

Beskrivning

ConceptBase.cc är ett deduktivt databassystem för flera användare med en objektcentrerad datamodell. Dess förmåga att representera information på alla abstraktionsnivåer (data, klass, metaklass, meta-metaklass) gör den till ett kraftfullt verktyg för metamodellering och konstruktion av anpassade modelleringsspråk. Systemet åtföljs av ett mycket konfigurerbart grafiskt användargränssnitt som bygger på de logikbaserade funktionerna hos ConceptBase.cc-servern. ConceptBase.cc kan representera information på datanivån (exempeldata, spår av processexekvering), klassnivån (scheman, processdefinitioner), metaklassnivån (konstruktioner av modelleringsspråk), meta-metaklassnivån (konstruktioner för att definiera modellering). språk) och så vidare. Enhetlig objektrepresentation. Alla objekt är representerade i en enhetlig fyrfaldig datastruktur som kallas P-fakta, banbrytande av utvecklarna av Telos-språket. Objekt, deras attribut, specialiseringar och instansieringar representeras alla som P-fakta. Genom detta kan till exempel attribut för objekt ha attribut och är instanser av andra attribut. Även specialisering mellan attribut stöds fullt ut. Logiska uttryck. Regler, begränsningar och frågor uttrycks i första ordningens logiska formler. Internt omvandlar systemet dem till Horn-satser tolkade av en Datalog-baserad utvärderingsmaskin. Logiska uttryck i ConceptBase.cc kan sträcka sig över vilket objekt som helst oavsett dess typ (nod kontra länk) och dess abstraktionsnivå. Datalog är känt för att vara det mest robusta beräkningssystemet för att utvärdera logiska uttryck. Aktiva regler. Aktiva regler uppdaterar databasen eller anropar externa rutiner som en reaktion på händelser.