Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
Summary of the workshop on multi-paradigm modeling: concepts and tools
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Debugging in domain-specific modelling
SLE'10 Proceedings of the Third international conference on Software language engineering
| Hi-index | 0.00 |
In this paper, we propose to explicitly model and synthesize experimentation environments for the interactive simulation of Statechart models. We choose the Statecharts formalism itself as the most appropriate formalism to model and synthesize such an 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) client-server 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.