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可能包含未指定的更新，增強功能或錯誤修復。