Reactive Animation

  • David Harel
  • Sol Efroni
  • Irun R. Cohen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2852)


Software engineers use system visualization mainly in two domains: algorithm visualization and system visualization, and both of these are often animated. In this paper we provide a generic link between the specification and animation of complex object-oriented reactive systems, which constitute one of the most important and difficult classes of systems. The link and its methodology form a basis for communication between standard reactive specification tools and standard animation tools. Reactive Animation can be used in a wide range of applications: computer games, navigation and traffic systems, interactive scientific visualization. Reactive Animation helps make the programming of such applications more reliable, expeditious and natural to observe and comprehend. We illustrate two examples: a complex biological model of thymic T-cell behavior and a traffic simulation.


Reactive System Visual Interface Visual Landmark Reactive Simulation Message Sequence Chart 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, November 1993, vol. F-13, pp. 477–498. Springer, New York (1993)Google Scholar
  2. 2.
    Harel, D.: On visual formalisms. Comm. Assoc. Comput. Mach. 31(5), 514–530 (1988)MathSciNetGoogle Scholar
  3. 3.
    I-Logix Inc,
  4. 4.
    Macromedia Inc,
  5. 5.
    Weiringa, R.J.: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, Boston (2002)Google Scholar
  6. 6.
  7. 7.
    Aonix. Software Through Pictures,
  8. 8.
    Rational Software,
  9. 9.
    Mili, R., Steiner, R.: Software engineering - introduction. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, pp. 129–137. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)Google Scholar
  11. 11.
    Harel, D., Gery, E.: Executable object modeling with statecharts. IEEE Computer 30(7), 31–42 (1997)Google Scholar
  12. 12.
    Harel, D., Marelly, R.: Come, Let’s Play: A Scenario-Based Approach to Programming (in Preperation)Google Scholar
  13. 13.
    Harel, D., Marelly, R.: Specifying and executing behavioral requirements: The play in/play-out approach. Software and System Modeling (2003) (to Appear)Google Scholar
  14. 14.
    Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8, 231–274 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Unified Modeling Language,
  16. 16.
    Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language reference manual. Addison-Wesley, Reading (1999)Google Scholar
  17. 17.
    Altia Inc., Embedded Systems Graphics,
  18. 18.
    Brown, M.H.: Exploring algorithms using balsa-ii. IEEE Computer 21(15), 14–36 (1988)Google Scholar
  19. 19.
    Stasko, J.T.: Tango: a framework and system for algorithm animation. IEEE Computer 23(9), 27–39 (1990)Google Scholar
  20. 20.
    Topol, B., Stasko, J.T.: Integrating visualization support into distributed computing systems. Tech. Rep. GIT-GVU-92-20, Georgia Institute of Technology (1994)Google Scholar
  21. 21.
    Meyer, B.: Formalization of visual mathematical notations. In: DR-II: AAAI Symp. on Diagrammatic Reasoning, Boston (1997)Google Scholar
  22. 22.
    Hundhausen, C.D., Douglas, S.A., Stasko, J.T.: A mets-study of algorithm visualization effectiveness. Journal of Visual Languages and Computing 13(3), 259–290 (2002)CrossRefGoogle Scholar
  23. 23.
    Crescenzi, P., Demetrescu, C., Finocchi, I., Petreschi, R.: Reversible execution and visualization of programs with leonardo. Journal of Visual Languages and Computing 11(2), 125–150 (2000)CrossRefGoogle Scholar
  24. 24.
    Takahashi, S., Miyashita, K., Matsuoka, S., Yonezawa, A.: A framework for constructing animations via declarative mapping rules. In: Proceedings of IEEE Symposium on Visual Languages, St. Louis, pp. 314–322 (1994)Google Scholar
  25. 25.
    Italiano, G.F., Cattaneo, G., Ferraro, U., Scarano, V.: Catai: Concurrent algorithms and data types animation over the internet. In: Proceedings of 15th IFIP World Computer CongressGoogle Scholar
  26. 26.
    Stasko, J.T., Wehrli, J.F.: Three-dimensional computation visualization. Tech. Rep. GIT-GVU-92-20, Georgia Institute of Technology (1992)Google Scholar
  27. 27.
    Baker, J.E., Cruz, I.F., Liotta, G., Tamassia, R.: Algorithm animation over the world wide web. In: Proceedings of the 1996 ACM Workshop on Advanced Visual Interfaces, pp. 203–212 (1996)Google Scholar
  28. 28.
    Kaye, J., Castillo, D.: Flash MX for Interactive Simulation: How to Construct & Use Device Simulations. OnWord Press (2002)Google Scholar
  29. 29.
    Cohen, I.R.: Tending Adam’s Garden: Evolving the Cognitive Immune Self. Academic Press, San Diego (2000)Google Scholar
  30. 30.
    Goldsby, R.A., Kindt, T.J., Osborne, B.A.: Kuby Immunology. W. H. Freeman and Company, New York (2000)Google Scholar
  31. 31.
    Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • David Harel
    • 1
  • Sol Efroni
    • 1
    • 2
  • Irun R. Cohen
    • 2
  1. 1.Dept. of Computer Science and Applied MathematicsWeizmann Institute of ScienceRehovotIsrael
  2. 2.Dept. of ImmunologyWeizmann Institute of ScienceRehovotIsrael

Personalised recommendations