Higraph - Higraph

A higraf je objekt diagramů, který formalizuje vztahy do vizuální struktury. Byl vyvinut společností David Harel v roce 1988. Higrafy se rozšiřují matematické grafy zahrnutím pojmů hloubka a ortogonalita. Zejména, uzly v higrafu může obsahovat další uzly uvnitř nich, což vytváří hierarchii. Myšlenka byla původně vyvinuta pro aplikace pro databáze, reprezentace znalostí a behaviorální specifikace komplexu souběžné systémy pomocí jazyka státních map založeného na higrafu.

Higrafy jsou široce používány v průmyslových aplikacích, jako je UML. Nedávno byly použity filozofové formálně studovat používání diagramy v matematické důkazy a uvažování.

Reference

• Harel, D. (1988), O vizuálních formalizmech, Komunikace ACM, svazek 31, číslo 5
• Grossman, O., Harel, D. (1997), O algoritmech higrafů, Technická zpráva, Rehovot, Izrael
• http://plato.stanford.edu/entries/diagrams/