Conceptbase.cc Realice la ingeniería de metamodeling y método utilizando una base de datos deductiva.
Descargar ahora

Conceptbase.cc Clasificación y resumen

Conceptbase.cc Etiquetas

espectador vista representar sistema deducto deductivo Sistema de base de datos deductiva nivel de abstracción representar meta-clase

Conceptbase.cc Descripción

Conceptbase.cc es un sistema de base de datos deductivo multiusuario con un modelo de datos centrado en el objeto. Su capacidad para representar información en cualquier nivel de abstracción (datos, clase, metaclass, meta-metaclass) lo convierte en una herramienta poderosa para el metamodelo y la ingeniería de lenguajes de modelado personalizados. El sistema está acompañado por una interfaz gráfica altamente configurable que se basa en las características 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 proceso), el nivel de clase (esquemas, definiciones de proceso), el nivel de metaclass (construcciones de lenguajes de modelado), el nivel de meta-metátil (construcciones para definir el modelado idiomas), etc. Representación de objetos uniformes. Todos los objetos están representados en una estructura de datos cuádruples uniformes llamados hechos pioneros por los desarrolladores del idioma TELOS. Los objetos, sus atributos, especializaciones e instantáticas están representadas como p-hechos. 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 los transforma en cláusulas de cuerno interpretadas por una máquina de evaluación basada en el registro de datos. Las expresiones lógicas en conceptbase.cc pueden variar sobre 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 sólido para evaluar expresiones lógicas. Reglas activas. Reglas activas Actualice la base de datos o llame a las rutinas externas como una reacción a los eventos.

Conceptbase.cc Software relacionado