Next: 2.5.1 An example of Up: 2. SIMULATION IN SVM Previous: 2.4 SVM Command-line Parameters Contents

2.5 More Examples

Several examples are discussed in this section. Each of them is designed to introduce one or more descriptors. For a complete list and definition of these description, the readers are referred to my master's thesis.

Subsections

2.5.1 An example of macros
2.5.2 An example of history states
2.5.3 An example of orthogonal components
2.5.4 An example of enter/exit actions
2.5.5 An example of guards
2.5.6 An example of an initializer and a finalizer
2.5.7 An example of timed transition
2.5.8 An example of importation
2.5.9 An example of recursive importation
2.5.10 An example of macro redefinition
2.5.11 An example of ITF and OTF transition priorities
2.5.12 An example of priority numbers
2.5.13 An example of event parameters
2.5.14 An example of model-specific interface

Thomas Huining Feng
2004-04-05