Artikel in Tagungsband INPROC-2001-35

Papakosta, S.; Burger, C.: Generating Interactive Protocol Simulations and Visualizations for Learning Environments.
In: CaberNet: 4th Plenary Workshop. Vol. 2001.
Universität Stuttgart, Fakultät Informatik.
Not available, Oktober 2001.
Artikel in Tagungsband (Konferenz-Beitrag).
CR-Klassif.C.2.2 (Network Protocols)
I.6 (Simulation and Modeling)
K.3 (Computers and Education)
H.5.1 (Multimedia Information Systems)
KeywordsSPIN; Promela; model checking; simulation; animation

This position paper introduces the idea and concept of generating interactive protocol simulations and visualizations for teaching environments in lectures as well as for learning environments over the internet. Since the realisation is based on the SPIN model checker, a short presentation of this verification tool and its language Promela is shortly been given before sketching the generation procedure itself. The architecture presented here is open to further extensions.

Volltext und
andere Links
PostScript (300021 Bytes)
Abteilung(en)Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Verteilte Systeme
Projekt(e)ITO - HiSAP
Eingabedatum5. September 2001
   Publ. Abteilung   Publ. Institut   Publ. Informatik