Explicit modelling of statechart simulation environments
Sadaf Mustafiz, Hans Vangheluwe · 2013
In this paper, we propose an experimentation environment for the interactive simulation of Statechart models. We choose the Statecharts formalism as the most appropriate formalism to model and synthesize the environment. We take inspiration from software debugging as well as from simulation experimentation to explicitly model the detailed reactive behaviour of our environment. We map program debugging techniques such as execution modes, steps, and breakpoints to the simulation domain. We further explore how to integrate the notion of simulation time for the purpose of (scaled) real-time visualisation. Finally, we provide support for a (browser)clientserver architecture, again making use of the features of Statecharts. We build the experimentation model on top of the model to be simulated by instrumenting it using model transformation techniques. The entire Statechart modelling, simulation, and experimentation environment described in this work is supported by our tool, AToMPM. 1.