Conceptbase.cc. Eseguire il metamodellamento e l'ingegneria del metodo utilizzando un database deduttivo.
Scarica ora

Conceptbase.cc. Classifica e riepilogo

Conceptbase.cc. Tag

spettatore Visualizza rappresentare Sistema deduttivo deduttivo sistema di database deduttivo livello di astrazione rappresentare Meta-Class

Conceptbase.cc. Descrizione

Conceptbase.cc è un sistema di database deduttivo multiutente con un modello di dati centrato sull'oggetto. La sua capacità di rappresentare le informazioni a qualsiasi livello di astrazione (dati, classe, metaclass, meta-metaclass) lo rende un potente strumento per il metamodeling 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), il livello di classe (schemi, definizioni di processo), il livello del metaclass (costrutti di lingue di modellazione), il livello Metaclass (costrutti per la definizione della modellazione lingue), 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.

Conceptbase.cc. Software correlato