Home → Magazine Archive → May 1988 (Vol. 31, No. 5) → On visual formalisms → Abstract

On visual formalisms

By David Harel

Communications of the ACM, Vol. 31 No. 5, Pages 514-530

The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.

The full text of this article is premium content


No entries found