Higraph

Un higraph es un objeto de diagramación que formaliza las relaciones en una estructura visual. Fue desarrollado por David Harel en 1988. Los higraphs extienden los grafos matemáticos al incluir nociones de profundidad y ortogonalidad . En particular, los nodos de un higraph pueden contener otros nodos en su interior, creando una jerarquía. La idea se desarrolló inicialmente para aplicaciones en bases de datos , representación del conocimiento y la especificación del comportamiento de sistemas concurrentes complejos mediante el lenguaje de diagramas de estados basado en higraphs.

Los diagramas de Higraphs se utilizan ampliamente en aplicaciones industriales como UML . Recientemente, los filósofos los han utilizado para estudiar formalmente el uso de diagramas en demostraciones y razonamientos matemáticos.

• Harel, D. (1988), Sobre formalismos visuales , Communications of the ACM, Volumen 31, Número 5
• Grossman, O., Harel, D. (1997), Sobre la algoritmia de los higrafos , Informe técnico, Rehovot, Israel
• http://plato.stanford.edu/entries/diagrams/