On visual formalisms

By David Harel

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

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

0 Comments

No entries found

Purchase the Article

The full text of this article is premium content

0 Comments

Forgot your password?

Need Access?

Join the ACM

Subscribe to Communications of the ACM Magazine