ConceptBase.cc

Descriere

ConceptBase.cc este un sistem de bază de date deductivă multi-utilizator cu un model de date centrat pe obiect. Capacitatea sa de a reprezenta informații la orice nivel de abstractizare (date, clasă, metaclasă, meta-metaclasă) îl face un instrument puternic pentru metamodelare și ingineria limbajelor de modelare personalizate. Sistemul este însoțit de o interfață grafică de utilizator extrem de configurabilă, care se bazează pe caracteristicile bazate pe logică ale serverului ConceptBase.cc. ConceptBase.cc poate reprezenta informații la nivel de date (exemplu de date, urme ale execuțiilor de proces), la nivel de clasă (scheme, definiții de proces), la nivel de metaclasă (constructe ale limbajelor de modelare), la nivel de meta-metaclasă (constructe pentru definirea modelării). limbi), și așa mai departe. Reprezentarea uniformă a obiectelor. Toate obiectele sunt reprezentate într-o structură de date cvadruplă uniformă numită P-facts, lansată de dezvoltatorii limbajului Telos. Obiectele, atributele, specializările și instanțiile lor sunt toate reprezentate ca fapte P. Prin aceasta, de exemplu, atributele obiectelor pot avea atribute și sunt instanțe ale altor atribute. Chiar și specializarea între atribute este pe deplin acceptată. Expresii logice. Regulile, constrângerile și interogările sunt exprimate în formule logice de ordinul întâi. Intern, sistemul le transformă în clauze Horn interpretate de o mașină de evaluare bazată pe Datalog. Expresiile logice din ConceptBase.cc pot varia pe orice obiect, indiferent de tipul acestuia (nod vs. link) și nivelul său de abstractizare. Datalog este cunoscut pentru că este cel mai robust sistem de calcul pentru evaluarea expresiilor logice. Reguli active. Regulile active actualizează baza de date sau apelează rutine externe ca reacție la evenimente.