On visual formalisms
- 1 May 1988
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 31 (5), 514-530
- https://doi.org/10.1145/42411.42414
Abstract
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.This publication has 20 references indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A distributed alternative to finite-state-machine specificationsACM Transactions on Programming Languages and Systems, 1985
- On the Development of Reactive SystemsPublished by Springer Science and Business Media LLC ,1985
- Degrees of acyclicity for hypergraphs and relational database schemesJournal of the ACM, 1983
- A simplied universal relation assumption and its propertiesACM Transactions on Database Systems, 1982
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Pictures of programs and other processes, or how to do things with linesBehaviour & Information Technology, 1982
- Multiple views and abstractions with an extended-entity-relationship modelComputer Languages, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976