5 ms·

Statecharts: A Visual Formalism For Complex Systems (1987) [pdf]

52 points by tonteldoos 12y ago

cju 12y ago
Harel's Statecharts are used a lot in automotive with Stateflow, the state machine tool of Mathworks MAtlab/Simulink.
dsfsdfd 12y ago
This could be nice for modelling UI state
- OliverM 12y ago
  It is. If you're a front-end web dev, check out SproutCore. It has a built in statecharts library acting as the Controller in MVC apps.
- vdm 12y ago
  "Statecharts in User Interfaces: Warding Off Complexity", Erik Mogensen, RESTFest 2014. https://vimeo.com/109808288 https://vimeo.com/109808288
- mogsie 12y ago
  http://restfest.github.io/2014-Greenville/demos/mooooogle/ http://restfest.github.io/2014-Greenville/demos/mooooogle/ A web UI using a state chart to model (and execute) its state.
fsloth 12y ago
I started to figure out if I could use statecharts for systems design but then read this critical piece and became less enthusiastic mbreen.com/breenStatecharts.pdf Could someone with practical experience of them comment of their usability?
- OliverM 12y ago
  The paper has some good insights into how statecharts can obscure or confuse solutions, but some of the issues are avoided by experience or practice of using statecharts. Combining orthogonal states and history, for example, is rightly criticised in the paper and is the equivalent of a 'code smell' for me personally, largely because it becomes difficult to reason about the behaviour of the system being modelled. The two main benefits of state charts are the clustering notation and separation of concerns by linking statecharts with directed events (rather than using orthogonality). History is sometimes useful in specific circumstances, though those often arise from how you structured the statechart rather than a system design issue. In short I'd say to try not using deep history or orthogonality and see how you get on. Use them minimally and rarely in combination. I've found statecharts to be fantastic at clarifying my understanding of systems and their design, but like any tool, they take practice.
  - fsloth 12y ago
    Thanks for the summary! This does sound a bit more encouraging towards Harel's work
tel 12y ago
These always remind me of Milner's Bigraphs, although they're quite different in semantics.
stelfer 12y ago
One of my favorite tools! I've implemented many (too many) protocols with HSMs. I've also implemented lots with traditional FSMs. I've met people like me who have done both. Most would choose HSMs for most applications. If you're into SM compilers then they might not be that interesting (I'm not -- I like to see the logic in code that _I_ write). As an exercise in seeing the advantages, take a look at a network protocol RFCs like for TCP, BGP or SIP, and redraw the state diagrams there as statecharts. I've found that HSMs help in the beginning when I'm understanding what I'm doing (how about finding omitted states!); in the middle as I'm implementing; and in the end, when I'm maintaining. In my experience they definitely commend themselves vis-a-vis FSMs in commando ops (i.e. parachute a smart engineer into hostile unknown territory and have them fix a broken state machine under heavy fire). Of course, much depends on your HSM implementation itself. This book (http://www.state-machine.com/psicc/ http://www.state-machine.com/psicc/) is a good resource, though the last time I looked the code is sorta old-timey C++. There are definitely more contemporary/template-ly ways to do it.
michaelsbradley 12y ago
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...

52 points by tonteldoos 12y ago

cju 12y ago

Harel's Statecharts are used a lot in automotive with Stateflow, the state machine tool of Mathworks MAtlab/Simulink.

dsfsdfd 12y ago

This could be nice for modelling UI state

OliverM 12y ago
It is. If you're a front-end web dev, check out SproutCore. It has a built in statecharts library acting as the Controller in MVC apps.
vdm 12y ago
"Statecharts in User Interfaces: Warding Off Complexity", Erik Mogensen, RESTFest 2014. https://vimeo.com/109808288 https://vimeo.com/109808288
mogsie 12y ago
http://restfest.github.io/2014-Greenville/demos/mooooogle/ http://restfest.github.io/2014-Greenville/demos/mooooogle/ A web UI using a state chart to model (and execute) its state.

fsloth 12y ago

I started to figure out if I could use statecharts for systems design but then read this critical piece and became less enthusiastic mbreen.com/breenStatecharts.pdf Could someone with practical experience of them comment of their usability?

OliverM 12y ago
The paper has some good insights into how statecharts can obscure or confuse solutions, but some of the issues are avoided by experience or practice of using statecharts. Combining orthogonal states and history, for example, is rightly criticised in the paper and is the equivalent of a 'code smell' for me personally, largely because it becomes difficult to reason about the behaviour of the system being modelled. The two main benefits of state charts are the clustering notation and separation of concerns by linking statecharts with directed events (rather than using orthogonality). History is sometimes useful in specific circumstances, though those often arise from how you structured the statechart rather than a system design issue. In short I'd say to try not using deep history or orthogonality and see how you get on. Use them minimally and rarely in combination. I've found statecharts to be fantastic at clarifying my understanding of systems and their design, but like any tool, they take practice.
- fsloth 12y ago
  Thanks for the summary! This does sound a bit more encouraging towards Harel's work

tel 12y ago

These always remind me of Milner's Bigraphs, although they're quite different in semantics.

stelfer 12y ago

One of my favorite tools! I've implemented many (too many) protocols with HSMs. I've also implemented lots with traditional FSMs. I've met people like me who have done both. Most would choose HSMs for most applications. If you're into SM compilers then they might not be that interesting (I'm not -- I like to see the logic in code that _I_ write). As an exercise in seeing the advantages, take a look at a network protocol RFCs like for TCP, BGP or SIP, and redraw the state diagrams there as statecharts. I've found that HSMs help in the beginning when I'm understanding what I'm doing (how about finding omitted states!); in the middle as I'm implementing; and in the end, when I'm maintaining. In my experience they definitely commend themselves vis-a-vis FSMs in commando ops (i.e. parachute a smart engineer into hostile unknown territory and have them fix a broken state machine under heavy fire). Of course, much depends on your HSM implementation itself. This book (http://www.state-machine.com/psicc/ http://www.state-machine.com/psicc/) is a good resource, though the last time I looked the code is sorta old-timey C++. There are definitely more contemporary/template-ly ways to do it.

michaelsbradley 12y ago

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...