Communications of the ACM · 1988 · 1.3K citations · 27 references
ArchitectureComputer ScienceSystems EngineeringDiagrammingFormal MethodsKnowledge RepresentationDiagrammatic RepresentationGraphical RepresentationNode-link DiagramsStructural DiagramsSystem DiagramsSystem RepresentationBehavioral SpecificationGraphical Representation Of ModelsState Diagram DesignState DiagramsStatechartsTopological DiagramsTopological Graph Representations
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.
27
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations