ConceptBase.cc

Descrição

ConceptBase.cc é um sistema de banco de dados dedutivo multiusuário com um modelo de dados centrado em objetos. Sua capacidade de representar informações em qualquer nível de abstração (dados, classe, metaclasse, meta-metaclasse) o torna uma ferramenta poderosa para metamodelagem e engenharia de linguagens de modelagem customizadas. O sistema é acompanhado por uma interface gráfica de usuário altamente configurável que se baseia nos recursos baseados em lógica do servidor ConceptBase.cc. ConceptBase.cc pode representar informações no nível de dados (dados de exemplo, traços de execuções de processos), no nível de classe (esquemas, definições de processos), no nível de metaclasse (construções de linguagens de modelagem), no nível de meta-metaclasse (construções para definir modelagem línguas), e assim por diante. Representação uniforme de objetos. Todos os objetos são representados em uma estrutura de dados quádrupla uniforme chamada P-facts, pioneira dos desenvolvedores da linguagem Telos. Objetos, seus atributos, especializações e instanciações são todos representados como fatos-P. Por isso, por exemplo, atributos de objetos podem ter atributos e são instâncias de outros atributos. Até a especialização entre atributos é totalmente suportada. Expressões lógicas. Regras, restrições e consultas são expressas em fórmulas lógicas de primeira ordem. Internamente, o sistema as transforma em cláusulas Horn interpretadas por uma máquina de avaliação baseada em Datalog. As expressões lógicas em ConceptBase.cc podem abranger qualquer objeto, independentemente de seu tipo (nó vs. link) e seu nível de abstração. Datalog é conhecido por ser o sistema computacional mais robusto para avaliação de expressões lógicas. Regras ativas. As regras ativas atualizam o banco de dados ou chamam rotinas externas como reação a eventos.