ConceptBase.cc

描述

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