ConceptBase.cc

Popis

ConceptBase.cc je deduktivní databázový systém pro více uživatelů s datovým modelem zaměřeným na objekt. Jeho schopnost reprezentovat informace na jakékoli úrovni abstrakce (data, třída, metatřída, meta-metatřída) z něj dělá mocný nástroj 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é staví na logických funkcích serveru ConceptBase.cc. ConceptBase.cc může reprezentovat informace na úrovni dat (ukázková data, stopy provádění procesů), na úrovni třídy (schémata, definice procesů), na úrovni metatříd (konstrukty modelovacích jazyků), na úrovni meta-metatříd (konstrukty pro definování modelování jazyky) a tak dále. Jednotná reprezentace objektu. Všechny objekty jsou reprezentovány v jednotné čtyřnásobné datové struktuře zvané P-facts, kterou vyvinuli vývojáři jazyka Telos. Objekty, jejich atributy, specializace a konkretizace jsou reprezentovány jako P-fakty. Tím mohou mít například atributy objektů atributy a jsou instancemi 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. Interně je systém transformuje na klauzule Horn interpretované vyhodnocovacím strojem založeným na Datalogu. Logické výrazy v ConceptBase.cc se mohou pohybovat v libovolném objektu bez ohledu na jeho typ (uzel vs. odkaz) a jeho úroveň abstrakce. Datalog je známý tím, že je nejrobustnějším výpočetním systémem pro vyhodnocování logických výrazů. Aktivní pravidla. Aktivní pravidla aktualizují databázi nebo volají externí rutiny jako reakci na události.