Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Harel, D.: On visual formalisms. Comm. Assoc. Comput. Mach. 31(5), 514–530 (1988)
I-Logix Inc, http://www.ilogix.com
Macromedia Inc, http://www.macromedia.com
Weiringa, R.J.: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, Boston (2002)
Honeywell DOME, http://www.htc.honeywell.com/dome/
Aonix. Software Through Pictures, http://www.aonix.com
Rational Software, http://www.rational.com
Mili, R., Steiner, R.: Software engineering - introduction. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, pp. 129–137. Springer, Heidelberg (2002)
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)
Harel, D., Gery, E.: Executable object modeling with statecharts. IEEE Computer 30(7), 31–42 (1997)
Harel, D., Marelly, R.: Come, Let’s Play: A Scenario-Based Approach to Programming (in Preperation)
Harel, D., Marelly, R.: Specifying and executing behavioral requirements: The play in/play-out approach. Software and System Modeling (2003) (to Appear)
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8, 231–274 (1987)
Unified Modeling Language, http://www.uml.org
Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language reference manual. Addison-Wesley, Reading (1999)
Altia Inc., Embedded Systems Graphics, http://www.altia.com
Brown, M.H.: Exploring algorithms using balsa-ii. IEEE Computer 21(15), 14–36 (1988)
Stasko, J.T.: Tango: a framework and system for algorithm animation. IEEE Computer 23(9), 27–39 (1990)
Topol, B., Stasko, J.T.: Integrating visualization support into distributed computing systems. Tech. Rep. GIT-GVU-92-20, Georgia Institute of Technology (1994)
Meyer, B.: Formalization of visual mathematical notations. In: DR-II: AAAI Symp. on Diagrammatic Reasoning, Boston (1997)
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)
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)
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)
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 Congress
Stasko, J.T., Wehrli, J.F.: Three-dimensional computation visualization. Tech. Rep. GIT-GVU-92-20, Georgia Institute of Technology (1992)
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)
Kaye, J., Castillo, D.: Flash MX for Interactive Simulation: How to Construct & Use Device Simulations. OnWord Press (2002)
Cohen, I.R.: Tending Adam’s Garden: Evolving the Cognitive Immune Self. Academic Press, San Diego (2000)
Goldsby, R.A., Kindt, T.J., Osborne, B.A.: Kuby Immunology. W. H. Freeman and Company, New York (2000)
Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harel, D., Efroni, S., Cohen, I.R. (2003). Reactive Animation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2002. Lecture Notes in Computer Science, vol 2852. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39656-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-39656-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20303-2
Online ISBN: 978-3-540-39656-7
eBook Packages: Springer Book Archive