• Publications
  • Influence
Statecharts: A Visual Formalism for Complex Systems
  • D. Harel
  • Computer Science
  • Sci. Comput. Program.
  • 1 June 1987
It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach. Expand
The STATEMATE semantics of statecharts
We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms ofExpand
Dynamic logic
This book provides the first comprehensive introduction to Dynamic Logic, a system of remarkable unity that is theoretically rich as well as of practical value. Expand
LSCs: Breathing Life into Message Sequence Charts
This paper proposes an extension of MSCs, which it is called live sequence charts (or LSCs), since the main extension deals with specifying “liveness”, i.e., things that must occur. Expand
Come, let's play - scenario-based programming using LSCs and the play-engine
This chapter discusses the development of a Play-Engine Aware GUI Editor for Live Sequence Charts, which automates the very labor-intensive and therefore time-heavy and expensive process of manually winding down and restarting an LSC. Expand
On visual formalisms
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,Expand
Executable object modeling with statecharts
  • D. Harel, Eran Gery
  • Computer Science
  • Proceedings of IEEE 18th International Conference…
  • 1 May 1996
An effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object- oriented languages such as C++. Expand
First-Order Dynamic Logic
  • D. Harel
  • Computer Science
  • Lecture Notes in Computer Science
  • 1979
Drawing graphs nicely using simulated annealing
The paradigm of simulated annealing is applied to the problem of drawing graphs “nicely.” Our algorithm deals with general undirected graphs with straight-line edges, and employs several simpleExpand
Modeling Reactive Systems With Statecharts : The Statemate Approach
This guide shows how to use these two synergistic languages of Statecharts to develop a conceptual model of the system, which can then be combined with a physical or structural model using the third language of Module-charts. Expand