Generating Interactive Protocol Simulations and Visualizations for Learning Environments

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.