OntoUML Editor

説明

OntoUML Editorは、基本的なオントロジーUFOに基づくOntoUMLという名前の、哲学的および認知的に十分に根拠のあるモデリング言語での概念モデルとドメインオントロジーの作成をサポートするモデルベースのグラフィカルエディターです。エディターは、一方では、この言語の根底にある存在論的原則の複雑さからユーザーを保護するように設計されています。一方、自動形式的制約検証のメカニズムを提供することにより、作成されたモデルでこれらの原則を強化します。