ConceptBase.cc

Beskrivelse

ConceptBase.cc er et flerbruker deduktivt databasesystem med en objektsentrert datamodell. Dens evne til å representere informasjon på ethvert abstraksjonsnivå (data, klasse, metaklasse, meta-metaklasse) gjør det til et kraftig verktøy for metamodellering og utvikling av tilpassede modelleringsspråk. Systemet er ledsaget av et svært konfigurerbart grafisk brukergrensesnitt som bygger på de logikkbaserte funksjonene til ConceptBase.cc-serveren. ConceptBase.cc kan representere informasjon på datanivå (eksempeldata, spor etter prosessutførelser), klassenivå (skjemaer, prosessdefinisjoner), metaklassenivå (konstruksjoner av modelleringsspråk), meta-metaklassenivå (konstruksjoner for å definere modellering). språk), og så videre. Ensartet gjenstandsrepresentasjon. Alle objekter er representert i en enhetlig firedoblet datastruktur kalt P-fakta som ble utviklet av utviklerne av Telos-språket. Objekter, deres attributter, spesialiseringer og instansiasjoner er alle representert som P-fakta. Ved dette kan for eksempel attributter til objekter ha attributter og er forekomster av andre attributter. Til og med spesialisering mellom attributter støttes fullt ut. Logiske uttrykk. Regler, begrensninger og spørringer uttrykkes i førsteordens logiske formler. Internt transformerer systemet dem til Horn-klausuler tolket av en Datalog-basert evalueringsmaskin. Logiske uttrykk i ConceptBase.cc kan strekke seg over ethvert objekt uavhengig av dets type (node ​​vs. lenke) og abstraksjonsnivå. Datalog er kjent for å være det mest robuste beregningssystemet for å evaluere logiske uttrykk. Aktive regler. Aktive regler oppdaterer databasen eller kaller eksterne rutiner som en reaksjon på hendelser.