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
I. On the diagrammatic and mechanical representation of propositions and reasonings
TL;DR: 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.
Journal ArticleDOI
A simplied universal relation assumption and its properties
TL;DR: 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.
Proceedings ArticleDOI
STATEMATE: a working environment for the development of complex reactive systems
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.
Book ChapterDOI
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Gérard Berry,Laurent Cosserat +1 more
TL;DR: Closures are presently employed to prevent external contaminants such as dust and liquids from entering bearing housings at the region of clearance between the shaft and the housing through the use of mated, washer-like surfaces.