On visual formalisms

@article{Harel1988OnVF,
  title={On visual formalisms},
  author={David Harel},
  journal={Commun. ACM},
  year={1988},
  volume={31},
  pages={514-530}
}
  • D. Harel
  • Published 1 May 1988
  • Computer Science
  • Commun. ACM
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. 

Figures from this paper

An Algebraic Foundation for Higraphs
TLDR
This work provides an algebraic account of higraphs (and of a mild extension), with the main focus being on the mathematical structures underlying common operations, such as those required for understanding the semantics of Higraphs and Statecharts, and for implementing sound software tools which support them.
viz: a visual language based on functions
  • C. Holt
  • Computer Science
    Proceedings of the 1990 IEEE Workshop on Visual Languages
  • 1990
The foundations for a visual language called viz are outlined. Some conventions are introduced that are intended to allow a straightforward representation of a functional semantics, while being
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues
Abstraction in Reasoning about Higraph-Based Systems
TLDR
This work characterise zooming by means of a universal property and establish a precise relationship between the dynamics of a higraph and that of its zoom-out.
On the Aesthetics of Diagrams (Summary of Talk)
TLDR
This talk addresses a modest, yet still very difficult version of the problem, in which the diagrams are merely general undirected graphs with straight-line edges.
A graphical editor proposal for developing concurrent, hierarchical, finite state machines
TLDR
A language system for building CHSMs has been developed and the next step is to add a graphical-editor to allow the user to draw the statecharts.
Higraph-based Predicate and Heterogeneous Speci cationRichard
TLDR
It is shown how to present various system views using the higraph-based notation, and how the notation can be extended to heterogeneous speciications Paig95].
Implementing Hierarchical Graph-Structures
TLDR
The approach provides a strong modularity of a specification by a loose coupling between different hierarchy levels and it serves for a rapid development of interactive editors for gFDTs by a special technique of describing hierarchy.
Object-oriented representation of hierarchical graphs
TLDR
The concept of C0-systems is introduced, which can be used to represent syntactic objects of graph-based formal systems with inheritance with inheritance.
DOODLE: a visual language for object-oriented databases
TLDR
DOODLE, a new visual and declarative language for object-oriented databases, is introduced, which is possible to display and query the data in a query-based manner.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 77 REFERENCES
Statecharts: A Visual Formalism for Complex Systems
  • D. Harel
  • Computer Science
    Sci. Comput. Program.
  • 1987
I. On the diagrammatic and mechanical representation of propositions and reasonings
TLDR
The diagrammatic and mechanical representation of propositions and reasonings is described as a "synthesis of propositions" and a "representation of reasoning" in the form of diagrams.
Communicating sequential processes
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When
A Semantics of Multiple Inheritance
TLDR
Programming with taxonomically organized data is often called objectoriented programming, and has been advocated as an effective way of structuring programming environments, data bases, and large systems in general.
Pictures of programs and other processes, or how to do things with lines
TLDR
Several of the competing notations produced with the rise of structured programming, each trying to improve on flowcharts, are compared and empirical evidence is reviewed as to their success or failure.
Expanding the Utility of Semantic Networks Through Partitioning
An augmentation of semantic networks is presented in which the various nodes and arcs are partitioned into "net spaces." These net spaces delimit the scopes of quantified variables, distinguish
The Mathematics of Inheritance Systems
TLDR
A formal mathematical theory of inheritance is presented and it is shown how the defects in existing systems can be corrected, and how a correct implementation on a parallel marker propagation machine (PMPM) may be achieved through conditioning.
A simplied universal relation assumption and its properties
TLDR
This work proposes a simpler method of describing the real world, where constraints are given by functional dependencies and a single join dependency, and characterize in terms of hypergraphs those multivalued dependencies that are the consequence of a given join dependency.
...
1
2
3
4
5
...