Хиграф - Higraph

А хиграф представляет собой объект диаграммы, который формализует отношения в визуальную структуру. Он был разработан Дэвид Харел в 1988 году. Хиграфы расширяют математические графики включив понятия глубина и ортогональность. Особенно, узлы в хиграфе может содержать другие узлы внутри себя, создавая иерархию. Идея изначально разрабатывалась для приложений, базы данных, представление знаний, и поведенческая спецификация сложных параллельные системы с использованием графического языка диаграмм состояний.

Хиграфы широко используются в промышленных приложениях, таких как UML. Недавно они использовались философы официально изучить использование диаграммы в математические доказательства и рассуждения.

Рекомендации

• Харел, Д. (1988), О визуальных формализмах, Сообщения ACM, Том 31, номер 5
• Гроссман, О., Харел, Д. (1997), Об алгоритмике хиграфов, Технический отчет, Реховот, Израиль
• http://plato.stanford.edu/entries/diagrams/