ConceptBase.cc

Descripción

ConceptBase.cc es un sistema de base de datos deductivo 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 poderosa herramienta para el metamodelado y la ingeniería de lenguajes de modelado personalizados. El sistema va acompañado de una interfaz gráfica de usuario altamente configurable que se basa en las funciones basadas en la lógica del servidor ConceptBase.cc. ConceptBase.cc puede representar información a nivel de datos (datos de ejemplo, rastros de ejecuciones de procesos), nivel de clase (esquemas, definiciones de procesos), nivel de metaclase (construcciones de lenguajes de modelado), nivel de meta-metaclase (construcciones para definir idiomas), etc. Representación uniforme de objetos. Todos los objetos están representados en una estructura de datos cuádruple uniforme llamada P-facts iniciada por los desarrolladores del lenguaje Telos. Los objetos, sus atributos, especializaciones e instancias se representan como hechos P. Por esto, por ejemplo, los atributos de los objetos pueden tener atributos y son instancias de otros atributos. Incluso la especialización entre atributos es totalmente compatible. Expresiones lógicas. Las reglas, restricciones y consultas se expresan en fórmulas lógicas 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 frente a 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 los eventos.