Statecharts: A Visual Formalism for Complex Systems
- D. Harel
- Computer ScienceScience of Computer Programming
- 1 June 1987
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 of…
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.
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.
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,…
Come, let's play - scenario-based programming using LSCs and the play-engine
- D. Harel
- Computer Science
- 23 June 2003
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.
Executable object modeling with statecharts
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++.
STATEMATE: a working environment for the development of complex reactive systems
- D. Harel, H. Lachover, M. Trakhtenbrot
- Computer ScienceProceedings.  11th International Conference on…
- 1 April 1988
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.
First-Order Dynamic Logic
- D. Harel
- PhilosophyLecture Notes in Computer Science