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 може містити невизначені оновлення, удосконалення або виправлення помилок.