ConceptBase.cc

説明

ConceptBase.cc は、オブジェクト中心のデータ モデルを備えたマルチユーザー演繹データベース システムです。あらゆる抽象化レベル (データ、クラス、メタクラス、メタメタクラス) で情報を表現できるため、カスタマイズされたモデリング言語のメタモデリングとエンジニアリングのための強力なツールになります。このシステムには、ConceptBase.cc サーバーのロジックベースの機能に基づいて構築された高度に構成可能なグラフィカル ユーザー インターフェイスが付属しています。 ConceptBase.cc は、データ レベル (サンプル データ、プロセス実行のトレース)、クラス レベル (スキーマ、プロセス定義)、メタクラス レベル (モデリング言語の構造)、メタメタクラス レベル (モデリングを定義するための構造) で情報を表すことができます。言語) など。均一なオブジェクト表現。すべてのオブジェクトは、Telos 言語の開発者によって開発された P-facts と呼ばれる均一な 4 つのデータ構造で表されます。オブジェクト、その属性、特殊化、およびインスタンス化はすべて P ファクトとして表されます。これにより、たとえば、オブジェクトの属性は属性を持つことができ、他の属性のインスタンスになります。属性間の特殊化も完全にサポートされています。論理式。ルール、制約、およびクエリは、一次論理式で表現されます。内部的には、システムはそれらを Datalog ベースの評価マシンによって解釈される Horn 句に変換します。 ConceptBase.cc の論理式は、そのタイプ (ノードとリンク) とその抽象化レベルに関係なく、任意のオブジェクトに及ぶことができます。 Datalog は、論理式を評価するための最も堅牢な計算システムとして知られています。アクティブなルール。アクティブなルールは、データベースを更新するか、イベントへの反応として外部ルーチンを呼び出します。