Next: 6.1 An Introduction to Up: DCHARTS, A FORMALISM FOR Previous: 5.6 Conclusion Contents Index

6. SVM - A DCHARTS SIMULATOR

A valid DCharts model contains all the necessary information for a simulation. SVM (Statechart Virtual Machine) is the simulation environment that runs textual DCharts models.

Subsections

6.1 An Introduction to SVM
6.2 The Design of SVM
6.3 Default Interfaces
- 6.3.1 Default Graphical Interface
- 6.3.2 Default Textual Interface
6.4 Modeling and Simulating DCharts in AToM
6.5 Distributed Simulation
- 6.5.1 The SVMDNS daemon
- 6.5.2 Example
6.6 Debugging

Thomas Huining Feng 2004-04-28