Higraph
In this article, we will explore in depth the topic of Higraph, which has gained significant relevance in recent years. From its origins to its impact on today's society, we will examine the different aspects and perspectives surrounding Higraph. Through detailed and comprehensive analysis, we will seek to understand how Higraph has influenced our environment and how it will continue to do so in the future. With a critical and reflective look, we will address the different facets that make Higraph a topic of interest and discussion in the current environment. By collecting and presenting relevant information, this article aims to provide a comprehensive and enriching view on Higraph. Join us on this fascinating journey of discovery and inquiry!
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2021) |
A higraph is a diagramming object that formalizes relations into a visual structure. It was developed by David Harel in 1988. Higraphs extend mathematical graphs by including notions of depth and orthogonality. In particular, nodes in a higraph can contain other nodes inside them, creating a hierarchy. The idea was initially developed for applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.
Higraphs are widely used in industrial applications like UML. Recently they have been used by philosophers to formally study the use of diagrams in mathematical proofs and reasoning.
References
- Harel, D. (1988), On Visual Formalisms, Communications of the ACM, Volume 31, Number 5
- Grossman, O., Harel, D. (1997), On the Algorithmics of Higraphs, Technical Report, Rehovot, Israel
- http://plato.stanford.edu/entries/diagrams/