ConceptBase.cc

ConceptBase.cc - многопользовательская система дедуктивной базы данных с объектно-ориентированной моделью данных. Его способность представлять информацию на любом уровне абстракции (данные, класс, метакласс, мета-метакласс) делает его мощным инструментом метамоделирования и разработки пользовательских языков моделирования. Система сопровождается настраиваемым графическим пользовательским интерфейсом, который основан на логических функциях сервера ConceptBase.cc. ConceptBase.cc может представлять информацию на уровне данных (пример данных, следы выполнения процессов), уровень класса (схемы, определения процессов), уровень метакласса (конструкции языков моделирования), уровень мета-метакласса (конструкции для определения моделирования языки) и т. д. Единое представление объекта. Все объекты представлены в единой четырехмерной структуре данных, называемой P-фактами, впервые разработанными разработчиками языка Telos. Объекты, их атрибуты, специализации и экземпляры все представлены как P-факты. К этому, например, атрибуты объектов могут иметь атрибуты и являются экземплярами других атрибутов. Даже специализация между атрибутами полностью поддерживается. Логические выражения. Правила, ограничения и запросы выражаются в логических формулах первого порядка.Внутренне система преобразует их в предложения Horn, интерпретируемые машиной оценки на основе Datalog. Логические выражения в ConceptBase.cc могут варьироваться по любому объекту независимо от его типа (узел против ссылки) и его уровень абстракции. Datalog известен как самая надежная вычислительная система для оценки логических выражений. Активные правила. Активные правила обновляют базу данных или вызывают внешние процедуры как реакцию на события.
    

Что нового в этой версии:

Версия 8.0: более гибкая конфигурация редактора графов; более высокая производительность CBserver; многочисленные исправления ошибок; поддержка многоуровневого моделирования.

Что нового в версии 7.8:

Версия 7.8 может включать неопределенные обновления, улучшения или исправления ошибок.

Что нового в версии 7.7:

Версия 7.7 может включать неопределенные обновления, улучшения или исправления ошибок.