Animation of Protocols and Distributed Algorithms
Universität Dortmund, FB Informatik, LS IV, D-44221 Dortmund, Germany
E-Mail: firstname.lastname@example.org |
In order to support the education in distributed system fundamentals and
to elucidate the function of distributed algorithms and protocols we
apply animations of formal models which concentrate on the mediation of
aspects of the dynamic system behaviour. For this purpose we adapted and
extended approaches and tools supporting the animation of sequential
algorithms. Besides of sets of special animations, the results comprise
a set of view types providing for the convenient presentation of dynamic
properties. Furthermore we report on experiences we gained from a series
of corresponding educational experiments.
Algorithm Animation, Distributed Algorithms, Communication Protocols,
Animation System, Animation Framework, Animation Guidelines, Animation
Views, Visualization of dynamic behaviour
Journal of Computer Science Education, 10(2000)3, 243-265.
Obtaining the paper
Due to the copyright agreement between the publisher and the authors we are
not allowed to make the paper available online. If you have problems to
please call us.
Peter Herrmann, November 7, 2000
-- digital media copyright