Conceptbase. Ottieni un database deduttivo per il metamodeling con l'interfaccia utente grafica.
Scarica ora

Conceptbase. Classifica e riepilogo

Conceptbase. Tag

Interfaccia grafica utente Database utente Sistema deduttivo deduttivo sistema di database deduttivo Interfaccia del database database dell'utente Interfaccia utente grafica moderna

Conceptbase. Descrizione

Dal Team ConceptBase: ConceptBase.ccc è un sistema di database deduttivo multiutente con un modello di dati centrato su oggetti. La sua capacità di rappresentare le informazioni a qualsiasi livello di astrazione (dati, classe, metaclass, meta-metaclass, ecc.) Lo rende un potente strumento per il metamodellamento e l'ingegneria delle lingue di modellazione personalizzate. Il sistema è accompagnato da un'interfaccia grafica 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 processo ecc.), Il livello di classe (schemi, definizioni di processo ecc.), Il livello del metaclass (costrutti di lingue di modellazione), il livello Metaclass ( Costruisce per definire le lingue di modellazione), e così via. Rappresentazione dell'oggetto uniforme. Tutti gli oggetti sono rappresentati in una struttura di dati quadrupli uniformi chiamati P-facts pionieri dagli sviluppatori del linguaggio telos. Gli oggetti, i loro attributi, specializzazioni e istanze sono tutti rappresentati come fatti p. Con questo, ad esempio, gli attributi degli oggetti possono avere attributi e sono casi di altri attributi. Anche la specializzazione tra gli attributi è pienamente supportata. Espressioni logiche. Le regole, i vincoli e le query sono espresse nelle formule logiche del primo ordine. Internamente, il sistema li trasforma in clausole di corno interpretate da una macchina di valutazione basata su Datalog. Le espressioni logiche in conceptbase.cc possono variare su qualsiasi oggetto indipendentemente dal suo tipo (nodo vs. link) e il suo livello di astrazione. Datalog è noto per essere il sistema computazionale più robusto per valutare le espressioni logiche. Regole attive. Le regole attive aggiornano il database o chiama le routine esterne come reazione agli eventi. L'esecuzione segue lo schema di azione-condizione degli eventi.

Conceptbase. Software correlato