Download:
|
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
|