ConceptBase.cc

ConceptBase.cc è un sistema di database deduttivo multiutente con un modello di dati centrato sull'oggetto. La sua capacità di rappresentare informazioni a qualsiasi livello di astrazione (dati, classe, metaclasse, meta-metaclasse) lo rende un potente strumento per la metamodellazione e l'ingegnerizzazione di linguaggi di modellazione personalizzati. Il sistema è accompagnato da un'interfaccia utente grafica altamente configurabile che si basa sulle funzionalità basate sulla logica del server ConceptBase.cc. ConceptBase.cc può rappresentare informazioni a livello di dati (esempi di dati, tracce di esecuzioni di processi), il livello di classe (schemi, definizioni di processo), il livello di metaclassi (costrutti di linguaggi di modellazione), il livello di meta-metaclasse (costrutti per definire la modellazione lingue), e così via. Rappresentazione dell'oggetto uniforme. Tutti gli oggetti sono rappresentati in una struttura dati quadrupla uniforme denominata P-facts introdotta dagli sviluppatori del linguaggio Telos. Gli oggetti, i loro attributi, le specializzazioni e le istanze sono tutti rappresentati come fatti P. Con questo, ad esempio, gli attributi degli oggetti possono avere attributi e sono istanze di altri attributi. Anche la specializzazione tra attributi è completamente supportata. Espressioni logiche. Regole, vincoli e query sono espresse in formule logiche del primo ordine.Internamente, il sistema li trasforma in clausole Horn interpretate da una macchina di valutazione basata su Datalog. Le espressioni logiche in ConceptBase.cc possono spaziare su qualsiasi oggetto indipendentemente dal suo tipo (nodo vs collegamento) e dal suo livello di astrazione. Datalog è noto per essere il più robusto sistema computazionale per la valutazione delle espressioni logiche. Regole attive Le regole attive aggiornano il database o chiamano le routine esterne come reazione agli eventi.
    

Novità in questa versione:

Versione 8.0: configurazione più flessibile dell'editor grafico; migliori prestazioni di CBserver; numerose correzioni di bug; supporto per la modellazione multilivello.

Novità nella versione 7.8: