ConceptBase.cc

Описание

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