This paper was superseded, in a sense, by two of Dr. Harel's later papers: The STATEMATE Semantics of Statecharts (1996)[1] The Rhapsody Semantics of Statecha

This paper was superseded, in a sense, by two of Dr. Harel's later papers: The STATEMATE Semantics of Statecharts (1996)[1] The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)[2] There is also a full-length (out of print) book on the STATEMATE system, which shows how Statecharts can be used used in combination with two other chart types (Activity and Module charts): Modeling Reactive Systems with Statecharts: The STATEMATE Approach (1998)[3] With permission of the publisher, the entire book can be downloaded for free from the professor's website[4]. The 1987 paper is worthwhile, but it can be skipped in favor of the more recent papers and the reader won't miss anything essential. Dr. Harel has also published a detailed history of the development of Statecharts (i.e. the formalism itself): Statecharts in the Making: A Personal Account (2007)[5] [1] http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/SemanticsofStatecharts.pdf http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/Seman... [2] http://www.wisdom.weizmann.ac.il/~harel/papers/RhapsodySemantics.pdf http://www.wisdom.weizmann.ac.il/~harel/papers/RhapsodySeman... [3] http://www.wisdom.weizmann.ac.il/~harel/reactive_systems.html http://www.wisdom.weizmann.ac.il/~harel/reactive_systems.htm... [4] http://www.wisdom.weizmann.ac.il/~harel/STM.Book http://www.wisdom.weizmann.ac.il/~harel/STM.Book [5] http://www.wisdom.weizmann.ac.il/~harel/papers/Statecharts.History.pdf http://www.wisdom.weizmann.ac.il/~harel/papers/Statecharts.H...