Journal ArticleDOI
On visual formalisms
TLDR
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature that is suited for a wide array of applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.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.read more
Citations
More filters
Journal ArticleDOI
Alloy: a lightweight object modelling notation
TL;DR: This paper presents the Alloy language in its entirety, and explains its motivation, contributions and deficiencies.
Journal ArticleDOI
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering
TL;DR: A set of principles for designing cognitively effective visual notations: ones that are optimized for human communication and problem solving are defined, which form a design theory, called the Physics of Notations, which focuses on the physical properties of notations rather than their logical properties.
Journal ArticleDOI
STATEMATE: a working environment for the development of complex reactive systems
David Harel,H. Lachover,A. Naamad,Amir Pnueli,M. Politi,R. Sherman,A. Shtull-Trauring,Mark B. Trakhtenbrot +7 more
TL;DR: The main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
Journal ArticleDOI
Algorithms for drawing graphs: an annotated bibliography
TL;DR: A bibliographic survey on algorithms whose goal is to produce aesthetically pleasing drawings of graphs is presented, a first attempt to encompass both theoretical and application-oriented papers from disparate areas.
Journal ArticleDOI
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
TL;DR: NoteCards is presented as a foil against which to explore some of the major limitations of the current generation of hypermedia systems, and characterizes the issues that must be addressed in designing the next generation systems.
References
More filters
Journal ArticleDOI
Multiple views and abstractions with an extended-entity-relationship model
Gerd Schiffner,Peter Scheuermann +1 more
TL;DR: The features of the Entity-Relationship model are examined, as a means for representing both the conceptual schema and the external schema in a database system, and a data definition language with a concise and simple structure is proposed.
Proceedings ArticleDOI
Connections in acyclic hypergraphs: extended abstract
David Maier,Jeffrey D. Ullman +1 more
TL;DR: A sense in which the equivalence between blocks and biconnected components that holds in ordinary graph theory can be generalized to hypergraphs is demonstrated.