Contents

• List of Figures
• List of Tables
• 1. INTRODUCTION
  • 1.1 Modeling and Simulation
    • 1.1.1 Models and Meta-models
    • 1.1.2 The Process of Modeling and Simulation Based Design
    • 1.1.3 Modeling and Meta-modeling in AToM
  • 1.2 The Statecharts Formalism
    • 1.2.1 Finite State Automata
    • 1.2.2 Statecharts Extensions to FSA
  • 1.3 The DEVS Formalism
    • 1.3.1 Atomic DEVS
    • 1.3.2 Coupled DEVS
  • 1.4 Research Focus
    • 1.4.1 Formal Specification
    • 1.4.2 Model Transformation
    • 1.4.3 Simulation
    • 1.4.4 Model Checking and Verification
    • 1.4.5 Code Synthesis
  • 1.5 Related Work
  
  
• 2. ABSTRACT SYNTAX AND SEMANTICS OF DCHARTS
  • 2.1 The DCharts Meta-model
  • 2.2 Overview of Abstract Syntax and Semantics
    • 2.2.1 Overview
    • 2.2.2 State Set
    • 2.2.3 Transitions
    • 2.2.4 Variables
    • 2.2.5 Transition Priorities
    • 2.2.6 Importation
    • 2.2.7 Ports and Connections
    • 2.2.8 Actions and Guards
  • 2.3 Algorithms
    • 2.3.1 Firing a Transition
    • 2.3.2 Alternate Algorithm for Firing a Transition
    • 2.3.3 Importation
  • 2.4 Closure under Importation
  • 2.5 Asynchronous Communication and Synchronous Communication
  
  
• 3. Timing
  • 3.1 The Real-time Concept
  • 3.2 Virtual-time Simulation
  • 3.3 Special Event:
  
  
• 4. GRAPHICAL SYNTAX AND TEXTUAL SYNTAX
  • 4.1 Graphical Syntax
    • 4.1.1 State Hierarchy
    • 4.1.2 Naming Convention
    • 4.1.3 Orthogonal Components
    • 4.1.4 Default States and Final States
    • 4.1.5 Transitions
    • 4.1.6 History
    • 4.1.7 Enter/Exit Actions
    • 4.1.8 Importation
    • 4.1.9 Ports
    • 4.1.10 Connections
  • 4.2 Textual Syntax
    • 4.2.1 Descriptors
    • 4.2.2 State Hierarchy
    • 4.2.3 State Properties
    • 4.2.4 Orthogonal Components
    • 4.2.5 Transitions
    • 4.2.6 Priority Numbers
    • 4.2.7 History
    • 4.2.8 Enter/Exit Actions
    • 4.2.9 Importation
    • 4.2.10 Ports
    • 4.2.11 Connections
  • 4.3 Extended Syntax
    • 4.3.1 Macros
    • 4.3.2 Once Timed Transition
    • 4.3.3 Global Options
    • 4.3.4 Initializer, Finalizer, and Interactor
    • 4.3.5 Snapshot
    • 4.3.6 Model Description
    • 4.3.7 Comments
  
  
• 5. MAPPINGS
  • 5.1 Mapping from Non-recursive DCharts to Statecharts with Variables
  • 5.2 Mapping from Non-recursive DCharts to DEVS
  • 5.3 Mapping from Statecharts to DCharts
  • 5.4 Mapping from DEVS to DCharts
  • 5.5 Mapping from Programming Language Control Flow Constructs to DCharts
    • 5.5.1 Statements
    • 5.5.2 Compound Statements
    • 5.5.3 Conditional Statements
    • 5.5.4 Loops
    • 5.5.5 Break and Continue
    • 5.5.6 Tricks of Actions Specific to SVM
  • 5.6 Conclusion
  
  
• 6. SVM - A DCHARTS SIMULATOR
  • 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
  
  
• 7. MODEL VERIFICATION
  • 7.1 Simulation Trace
  • 7.2 Extended Regular Expressions
  • 7.3 Rule Checker
  • 7.4 Limitation and Future Work
  
  
• 8. SCC - A DCHARTS COMPILER
  • 8.1 Java Code Design
    • 8.1.1 Class Hierarchy
    • 8.1.2 Numbering
    • 8.1.3 Members of Model Classes
    • 8.1.4 Default Textual Interface
  • 8.2 Transformation Strategies
    • 8.2.1 State Hierarchy
    • 8.2.2 State Properties
    • 8.2.3 History
    • 8.2.4 Event Handling
    • 8.2.5 Importation
  • 8.3 Space Efficiency and Speed Efficiency
  • 8.4 Example
  • 8.5 Applet Interface
  • 8.6 Limitations
  
  
• 9. APPLICATIONS
  • 9.1 Simple Data Types
    • 9.1.1 Boolean
    • 9.1.2 Integer Counter
    • 9.1.3 Integer
  • 9.2 The Clock Component for Virtual-Time Simulation
  • 9.3 An MP3 Player
  • 9.4 Simulation of Software Process
  • 9.5 Simulation of TCP
  
  
• 10. CONCLUSION
• 11. ACKNOWLEDGMENT
• Index
• Bibliography