ConceptBase.cc

ConceptBase.cc je víceúčelový deduktivní databázový systém s datovým modelem zaměřeným na objekt. Její schopnost reprezentovat informace na libovolné úrovni abstrakce (data, třída, metaclass, meta-metaklass) je výkonným nástrojem pro metamodelování a inženýrství přizpůsobených modelovacích jazyků. Systém je doprovázen vysoce konfigurovatelným grafickým uživatelským rozhraním, které vychází z logických funkcí serveru ConceptBase.cc. ConceptBase.cc může reprezentovat informace na úrovni dat (příklady dat, stopy procesů), úroveň třídy (schémata, definice procesů), úroveň metaclass (konstrukce modelovacích jazyků), úroveň meta-metaclass (konstrukce pro definici modelování jazyky) a tak dále. Jednotné zastoupení objektu. Všechny objekty jsou zastoupeny v jednotné čtyřnásobné datové struktuře nazvané P-fakty propagované vývojáři jazyka Telos. Objekty, jejich atributy, specializace a instancí jsou všechny reprezentovány jako P-fakty. Tímto například atributy objektů mohou mít atributy a jsou to případy jiných atributů. Dokonce i specializace mezi atributy je plně podporována. Logické výrazy. Pravidla, omezení a dotazy jsou vyjádřeny v logických vzorcích prvního řádu.Vnitřně je systém transformuje na klauzule Horn interpretované vyhodnocovacím zařízením založeným na Datalogu. Logické výrazy v ConceptBase.cc mohou přesahovat libovolný objekt bez ohledu na jeho typ (uzel vs. odkaz) a jeho úroveň abstrakce. Datalog je známý jako nejvíce robustní výpočetní systém pro vyhodnocování logických výrazů. Aktivní pravidla. Aktivní pravidla aktualizují databázi nebo volají externí rutiny jako reakci na události.
    

Co je nového v této verzi:

Verze 8.0: flexibilnější konfigurace editoru grafů; lepší výkon CBserveru; počet oprav chyb; Podpora víceúrovňového modelování.

Co je nového ve verzi 7.8:

Verze 7.8 může obsahovat neurčené aktualizace, vylepšení nebo opravy chyb.

Co je nového ve verzi 7.7:

Verze 7.7 může obsahovat neurčené aktualizace, vylepšení nebo opravy chyb.