ConceptBase.cc para Windows

Name: ConceptBase.cc
Rating: 4 (1 reviews)
Author: ConceptBase Team

Descargar ahora

¿Has usado ConceptBase.cc para Windows?

Descripción del desarrollador

By ConceptBase Team

Realiza metamodelado y ingeniería de métodos utilizando una base de datos deductiva.

ConceptBase.cc es un sistema de base de datos deductiva multiusuario con un modelo de datos centrado en objetos. Su capacidad para representar información en cualquier nivel de abstracción (datos, clase, metaclase, meta-metaclase) lo convierte en una herramienta poderosa para el metamodelado y la ingeniería de lenguajes de modelado personalizados. El sistema se acompaña de una interfaz gráfica de usuario altamente configurable que se basa en las características lógicas del servidor ConceptBase.cc. ConceptBase.cc puede representar información a nivel de datos (datos de ejemplo, trazas de ejecuciones de procesos), a nivel de clase (esquemas, definiciones de procesos), a nivel de metaclase (constructos de lenguajes de modelado), a nivel de meta-metaclase (constructos para definir lenguajes de modelado), y así sucesivamente. Representación uniforme de objetos. Todos los objetos se representan en una estructura de datos cuádruple uniforme llamada P-facts, pionera de los desarrolladores del lenguaje Telos. Los objetos, sus atributos, especializaciones e instanciaciones se representan todos como P-facts. De este modo, por ejemplo, los atributos de los objetos pueden tener atributos y son instancias de otros atributos. Incluso la especialización entre atributos está totalmente soportada. Expresiones lógicas. Las reglas, restricciones y consultas se expresan en fórmulas de lógica de primer orden. Internamente, el sistema las transforma en cláusulas Horn interpretadas por una máquina de evaluación basada en Datalog. Las expresiones lógicas en ConceptBase.cc pueden abarcar cualquier objeto independientemente de su tipo (nodo vs. enlace) y su nivel de abstracción. Datalog es conocido por ser el sistema computacional más robusto para evaluar expresiones lógicas. Reglas activas. Las reglas activas actualizan la base de datos o llaman a rutinas externas como reacción a eventos.