MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Alma: a Generic Program Animation System

Download:
Download as a PDF | Download as a PS
by Maria Joao Var, A Pereira, Pedro Rangel Henriques
http://www.di.uminho.pt/pg/sddi2003/artigos/MJoaoVaranda.ps
Add To MetaCart

Abstract:

In this paper, a system for program animation is presented. Alma system receives as input a computer program and produces a sequence of visualizations that will describe its functionality. The system generates automatically program animations basing this process on the internal representation of those programs. We do not rely upon any source program annotations (visual/animation statements, or parameters), neither on any special visual data types. The back-end of this system works over an execution tree (DAST), implementing the animation algorithm. This algorithm uses two bases of rules: visualizing rules (to associate graphical representation with program elements creating a visual description of the program state) and rewriting rules (to change the program state). We describe, in this paper, the Alma architecture and discuss the main algorithms that define the front-end and back-end. We also discuss the extensibility of the system in the sense of adding or modifying inputs and outputs, analyzing the characteristics of Alma's architecture that make this possible. We can extend the system at different levels: at the input level, it is possible to adapt the system to a different language, modifying the front-end; at the output level, it is possible to change the animation detail, modifying the sampling frequency; also at the output level, it is possible to produce different pictures, modifying the visualizing rules; at a global level, it is possible to modify the input paradigm, changing the front-end and the back-end (rules and nodes). 1.

Citations

560 Coloured Petri Nets: Basic Concepts, Analysis Methods and – Jensen - 1995
322 Algorithm Animation – Brown - 1988
83 PECAN: Program Development Systems that Support Multiple Views – Reiss - 1985
81 Pavane: a system for declarative visualization of concurrent computations – Roman, Cox, et al. - 1992
81 Software Visualization: Programming as a Multimedia Experience – Stasko, Domingue, et al. - 1997
44 PROVIDE: a process visualization and debugging environment – Moher - 1988
25 Working in the GARDEN environment for conceptual programming – Reiss - 1987
22 Animation using temporal constraints: An overview of the ANIMUS system – Duisberg - 1987
22 ZStep 95: A Reversible, Animated Source Code Stepper,” Soft. Visualization: Programming as a Multimedia Experience – Lieberman, Fry - 1998
22 Applying algorithm animation techniques for program tracing, debugging, and understanding – Mukherjea, Stasko - 1993
19 A seamless integration of algorithm animation into a visual programming language – Carlson, Burnett, et al. - 1996
16 Graphical Specification of Algorithm Animations with ALADDIN – Helttula, Hyrskykari, et al. - 1989
14 Interacting with the FIELD environment. Software Practice and Experience – Reiss - 1990
13 A Java-based implementation of collaborative active textbooks – Brown, Najork, et al. - 1997
12 Purely Functional Implementation of Attribute Grammars – Saraiva - 1999
9 Occurrences in debugger specifications – Bertot - 1991
5 Automatic generation of language-based tools – Henriques, Varanda, et al. - 2002
3 Mitja Lenic, Enis Avdicausevic, and Viljem Zumer. Compiler/interpreter generator system LISA – Mernik - 2000
3 Simplifying algoritm animation with TANGO – Stasko - 1990
2 VIP - a tool to visualize programming examples. Education and Application of Computer Technology – Mendes, Mendes - 1988
2 The attributed graph grammar system - homepage. http://tfs.cs.tuberlin. de/agg – Melamed, Rudolf, et al. - 1999