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
Book ChapterDOI
On the development of reactive systems
David Harel,Amir Pnueli +1 more
TL;DR: The recently proposed statechart method is recommended for finding satisfactory methods for behavioral description in reactive systems, observing that most reactive systems cannot be developed in a linear stepwise fashion, but, rather, give rise to a two-dimensional development process, featuring behavioral aspects in the one dimension and implementational ones in the other.
Book ChapterDOI
What's in a link
TL;DR: The chapter presents the logical inadequacies of almost all current network notations for representing quantified information and also discusses some of the disadvantages of a few logically adequate techniques.
Book ChapterDOI
On the epistemological status of semantic networks
TL;DR: In this paper, the authors examine the history of semantic networks and propose a new type of network formalism called Structured Inheritance Networks (SINN), which allows the explicit expression of epistemological level relationships as network links.
Book ChapterDOI
What's in a Link: Foundations for Semantic Networks
TL;DR: In this paper, the theoretical underpinnings for semantic network representations are discussed and the logical inadequacies of almost all current network notations for representing quantified information are discussed.
Journal ArticleDOI
Proving Liveness Properties of Concurrent Programs
Susan S. Owicki,Leslie Lamport +1 more
TL;DR: A formal proof method, based on temporal logic, for deriving liveness properties is presented, which allows a rigorous formulation of simple informal arguments and how to reason with temporal logic and use safety (invariance) properties in proving liveness is shown.