The Community for Technology Leaders
RSS Icon
Issue No.03 - May/June (2009 vol.26)
pp: 87-95
David Harel , Weizmann Institute of Science
Michal Gordon-Kiwkowitz , Weizmann Institute of Science
A graduate course on visual formalisms for reactive systems emphasized using such languages for not only specification and requirements but also (and predominantly) actual execution. The course presented two programming approaches: an intra-object approach using statecharts and an interobject approach using live sequence charts. Using each approach, students built a small system of their choice and then combined the two systems.
visual formalisms, statecharts, reactive systems, live sequence charts
David Harel, Michal Gordon-Kiwkowitz, "On Teaching Visual Formalisms", IEEE Software, vol.26, no. 3, pp. 87-95, May/June 2009, doi:10.1109/MS.2009.76
1. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, no. 3, 1987, pp. 231–274.
2. D. Harel and E. Gery, "Executable Object Modeling with Statecharts," Computer, vol. 30, no. 7, 1997, pp. 31–42.
3. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts," Formal Methods in System Design, vol. 19, no. 1, 2001, pp. 45–80.
4. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer, 2003.
5. D. Barak, D. Harel, and R. Marelly, "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming," IEEE Trans. Software Eng., vol. 32, no. 7, 2006, pp. 467–485.
6. T. Lev-Ami and S. Tyszberowitcz, "Reactive and Real-Time Systems Course: How to Get the Most Out of It," Real-Time Systems, vol. 25, nos. 2–3, 2003, pp. 231–253.
7. R. Lotenberg and S. Tyszberowitcz, "Student Projects in Reactive and Real-Time Systems Course," Proc. 3rd IEEE Real-Time Systems Education Workshop, IEEE CS Press, 1998, pp. 57–62.
8. E.R. Tufte, The Visual Display of Quantitative Information, Graphics Press, 1986.
9. E.R. Tufte, Envisioning Information, Graphics Press, 1990.
10. E.R. Tufte, Visual Explanations: Images and Quantities, Evidence and Narrative, Graphics Press, 1997.
11. D. Harel and A. Pnueli, "On the Development of Re-active Systems," Logics and Models of Concurrent Systems, K.R. Apt ed., Springer, 1985, pp. 477–498.
12. O. Maler, and A. Pnueli eds., , Hybrid Systems: Computation and Control, LNCS 2623, Springer, 2003.
13. D. Harel, "On Visual Formalisms," Comm. ACM, vol. 31, no. 5, 1988, pp. 514–530.
14. D. Harel and B. Rumpe, "Meaningful Modeling: What's the Semantics of 'Semantics'?" Computer, vol. 37, no. 10, 2004, pp. 64–72.
15. "UML Resource Page," Object Management Group,
16. D. Harel and H. Kugler, "The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)," Proc. Integration of Software Specification Techniques for Applications in Eng., LNCS 3147, Springer, 2004, pp. 325–354.
17. S. Efroni, D. Harel, and I.R. Cohen, "Reactive Ani-ma-tion: Realistic Modeling of Complex Dynamic Sys-tems," Computer, vol. 38, no. 1, 2005, pp. 38–47.
18. S. Efroni, D. Harel, and I.R. Cohen, "Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation," Genome Research, vol. 13, no. 11, 2003, pp. 2485–2497.
19. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), Int'l Telecommunication Union, 1996.
20. N. Kam et al., "Formal Modeling of C. elegansDevelopment: A Scenario-Based Approach," Proc. 1st Int'l Workshop Computational Methods in Systems Biology (ICMSB), LNCS 2602, Springer, 2003, pp. 4–20.
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool