Conceptbase.cc. Realize a engenharia de metamodelagem e método usando um banco de dados dedutivo.
Baixe Agora

Conceptbase.cc. Classificação e resumo

Conceptbase.cc. Tag

viewer. visualizar representar Sistema dedutivo dedutivo sistema de banco de dados dedutivo Nível de abstração representam meta-classe

Conceptbase.cc. Descrição

ConceptBase.cc é um sistema de banco de dados dedutivo multi-usuário com um modelo de dados centrado no objeto. Sua capacidade de representar informações em qualquer nível de abstração (dados, classe, metaclass, meta-metaclass) torna uma ferramenta poderosa para metamodelagem e engenharia de linguagens de modelagem personalizadas. O sistema é acompanhado por uma interface gráfica altamente configurável de usuário que constrói os recursos baseados em lógica do servidor ConceptBase.cc. ConceptBase.cc pode representar informações no nível de dados (exemplo de dados, traços de execuções de processos), o nível de classe (esquemas, definições de processo), o nível de metaclasse (construções de modelagem de idiomas), o nível de meta-metaclasse (constrói para definir a modelagem línguas) e assim por diante. Representação uniforme do objeto. Todos os objetos são representados em uma estrutura de dados quádrupla uniforme chamada P-fatos pioneiros pelos desenvolvedores da linguagem Telos. Objetos, seus atributos, especializações e instanciações são todos representados como fatos p. Por isso, por exemplo, os atributos de objetos podem ter atributos e são instâncias de outros atributos. Mesmo a especialização entre os 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 os transforma em cláusulas de chifres interpretados por uma máquina de avaliação baseada no Datalog. Expressões lógicas no ConceptBase.cc podem variar em qualquer objeto, independentemente de seu tipo (nó vs. link) e seu nível de abstração. O Datalog é conhecido por ser o sistema computacional mais robusto para avaliar expressões lógicas. Regras ativas. Regras ativas Atualizam o banco de dados ou chame rotinas externas como uma reação aos eventos.

Conceptbase.cc. Software Relacionado