ConceptBase.cc

Beskrivelse

ConceptBase.cc er et multi-bruger deduktivt databasesystem med en objektcentreret datamodel. Dens evne til at repræsentere information på ethvert abstraktionsniveau (data, klasse, metaklasse, meta-metaklasse) gør det til et kraftfuldt værktøj til metamodellering og konstruktion af tilpassede modelleringssprog. Systemet er ledsaget af en meget konfigurerbar grafisk brugergrænseflade, der bygger på de logikbaserede funktioner i ConceptBase.cc-serveren. ConceptBase.cc kan repræsentere information på dataniveauet (eksempeldata, spor af procesudførelser), klasseniveauet (skemaer, procesdefinitioner), metaklasseniveauet (konstruktioner af modelleringssprog), meta-metaklasseniveauet (konstruktioner til definition af modellering). sprog) og så videre. Ensartet genstandsrepræsentation. Alle objekter er repræsenteret i en ensartet firdobbelt datastruktur kaldet P-fakta, som er banebrydende af udviklerne af Telos-sproget. Objekter, deres egenskaber, specialiseringer og instantiationer er alle repræsenteret som P-fakta. Herved kan attributter for objekter f.eks. have attributter og er forekomster af andre attributter. Selv specialisering mellem attributter er fuldt understøttet. Logiske udtryk. Regler, begrænsninger og forespørgsler er udtrykt i førsteordens logiske formler. Internt omdanner systemet dem til Horn-klausuler fortolket af en Datalog-baseret evalueringsmaskine. Logiske udtryk i ConceptBase.cc kan spænde over ethvert objekt uanset dets type (node ​​vs. link) og abstraktionsniveau. Datalog er kendt for at være det mest robuste beregningssystem til at evaluere logiske udtryk. Aktive regler. Aktive regler opdaterer databasen eller kalder eksterne rutiner som en reaktion på hændelser.