## User login## Navigation |
## HOPL-III: Statecharts in the MakingAnother HOPL-III paper: Statecharts in the Making: A Personal Account by David Harel. This paper reads much different than most of the others, as the author admits to being mostly an accidental PL designer - backing into it from a mathematical perspective.
The Statecharts language arose from the domain of avionics and real-time state modeling. The author's main goal was to turn what were visual doodles into executable models - finite-state-automata. Both UML and Rhapsody use parts of the Statecharts engine. The paper provides a good background for the subject of visual programming languages - a topic that periodically crops up on LtU. I found the emphasis on topology, as opposed to geometry, as the mathematical basis of visual programming to be of interest (though perhaps obvious to those who are more familiar with the subject):
Provides a nice refutation for the recent brouhaha of those who think math is irrelevant for process modeling - a solid mathematical foundation is even more critical for languages that concentrate on expression in unique fashions. |
## Browse archives## Active forum topics- Code Completion for Generic Programming
- managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps
- Why do we need modules at all?
- CFP: International Conference on Live Coding
- Impact of static type systems on productivity of actual programmers: first experiment I've seen documented.
## New forum topics |

## Recent comments

1 hour 26 min ago

4 hours 43 min ago

1 day 2 hours ago

1 day 3 hours ago

1 day 7 hours ago

1 day 8 hours ago

1 day 9 hours ago

1 day 13 hours ago

1 day 19 hours ago

2 days 4 hours ago