ConceptBase.cc

Descrizione

ConceptBase.cc è un sistema di database deduttivo multiutente con un modello di dati centrato sugli oggetti. 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 (dati di esempio, tracce di esecuzioni di processi), a livello di classe (schemi, definizioni di processi), a livello di metaclasse (costrutti di linguaggi di modellazione), a livello di meta-metaclasse (costrutti per la definizione di modelli lingue), e così via. Rappresentazione uniforme dell'oggetto. Tutti gli oggetti sono rappresentati in una struttura dati quadrupla uniforme chiamata P-facts sperimentata dagli sviluppatori del linguaggio Telos. Gli oggetti, i loro attributi, le specializzazioni e le istanziazioni sono tutti rappresentati come P-facts. In questo modo, ad esempio, gli attributi degli oggetti possono avere attributi e sono istanze di altri attributi. Anche la specializzazione tra gli attributi è completamente supportata. Espressioni logiche. Regole, vincoli e query sono espressi in formule logiche del primo ordine. Internamente, il sistema le 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 tipo (nodo o collegamento) e dal livello di astrazione. Datalog è noto per essere il sistema computazionale più robusto per la valutazione di espressioni logiche. Regole attive. Le regole attive aggiornano il database o chiamano routine esterne come reazione agli eventi.