This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
On Teaching Visual Formalisms
May/June 2009 (vol. 26 no. 3)
pp. 87-95
David Harel, Weizmann Institute of Science
Michal Gordon-Kiwkowitz, Weizmann Institute of Science
Web Extra: View Supplemetal Material
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.

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, www.uml.org.
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.

Index Terms:
visual formalisms, statecharts, reactive systems, live sequence charts
Citation:
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
Usage of this product signifies your acceptance of the Terms of Use.