ConceptBase.cc

ConceptBase.cc是一个多用户演绎数据库系统，具有以对象为中心的数据模型。它能够在任何抽象级别（数据，类，元类，元元类）表示信息，使其成为自定义建模语言的元模型和工程的强大工具。该系统配有高度可配置的图形用户界面，该界面基于ConceptBase.cc服务器的基于逻辑的功能。 ConceptBase.cc可以表示数据级别的信息（示例数据，流程执行的跟踪），类级别（模式，流程定义），元类级别（建模语言的构造），元元类级别（用于定义建模的构造）语言），等等。统一对象表示。所有对象都以统一的四重数据结构表示，称为P-facts，由Telos语言的开发人员开创。对象，它们的属性，特化和实例化都表示为P事实。例如，通过这种方式，对象的属性可以具有属性并且是其他属性的实例。甚至完全支持属性之间的专门化。逻辑表达式。规则，约束和查询以一阶逻辑公式表示。在内部，系统将它们转换为由基于Datalog的评估机器解释的Horn子句。 ConceptBase.cc中的逻辑表达式可以覆盖任何对象，无论其类型（节点与链接）及其抽象级别如何。 Datalog因其是用于评估逻辑表达式的最强大的计算系统而闻名。积极的规则。活动规则更新数据库或调用外部例程作为对事件的反应。
    

此版本中的新功能：

版本8.0：更灵活的图形编辑器配置;更好的CBserver性能;许多错误修复;支持多级建模。

7.8版中的新功能：

版本7.8可能包含未指定的更新，增强功能或错误修复。

新功能：

版本7.7可能包含未指定的更新，增强功能或错误修复。