ハイグラフ

ハイグラフは、関係を視覚的な構造に形式化するダイアグラム オブジェクトです。1988年にDavid Harelによって開発されました。ハイグラフは、深さと直交性の概念を含めることで数学的なグラフを拡張します。特に、ハイグラフ内のノードは、その中に他のノードを含むことができ、階層を作成できます。このアイデアは、当初、データベース、知識表現、およびハイグラフ ベースの言語であるステートチャートを使用した複雑な並行システムの動作仕様へのアプリケーション用に開発されました。

ハイグラフは、 UMLなどの産業用アプリケーションで広く使用されています。最近では、哲学者が数学の証明や推論 における図の使用を正式に研究するために使用されています。

• Harel, D. (1988)、「視覚形式主義について」、Communications of the ACM、第31巻、第5号
• Grossman, O., Harel, D. (1997)、「Higraphs のアルゴリズムについて」、技術レポート、レホヴォト、イスラエル
• http://plato.stanford.edu/entries/diagrams/