List of Figures

• 1.1. The Finite State Automata syntax in an Entity-Relationship diagram
• 1.2. Modeling and simulation based design process
• 1.3. AToM$^3$ meta-modeling environment with the Entity-Relationship diagrams meta-model loaded
• 1.4. AToM$^3$ meta-modeling environment with the PetriNet meta-model loaded
• 1.5. AToM$^3$ meta-modeling environment with the statecharts meta-model loaded
• 1.6. A simple FSA example
• 1.7. The statecharts meta-model in an Entity-Relationship diagram
• 1.8. Atomic DEVS state trajectory
• 1.9. Generalization of DCharts
• 1.10. Specification of DCharts
• 1.11. Matrix of simulation and execution
• 2.1. The DCharts meta-model in an Entity-Relationship diagram
• 2.2. The AToM$^3$ development environment for DCharts
• 2.3. An example of transition priorities
• 4.1. An example of the graphical representation of a state hierarchy
• 4.2. Alternate graphical representation of a state hierarchy in AToM$^3$
• 4.3. An example of the graphical representation of orthogonal components
• 4.4. Alternate graphical representation of orthogonal components in AToM$^3$
• 4.5. An example of the graphical representation of default states and final states
• 4.6. An example of the graphical representation of default states and final states with orthogonal components
• 4.7. An example of the graphical representation of transitions
• 4.8. Graphical representation of transitions in AToM$^3$
• 4.9. An example of the graphical representation of history states
• 4.10. Graphical representation of history states in $AToM^3$
• 4.11. An example of the graphical representation of enter actions and exit actions
• 4.12. An example of the graphical representation of importation
• 4.13. An example of the graphical representation of ports
• 4.14. An example of the graphical representation of connections
• 4.15. Alternate graphical representation of connections in AToM$^3$
• 4.16. An example of the graphical representation of macros
• 5.1. An invalid DCharts model that contains compound statements in the output
• 5.2. A DCharts model that contains simple statements in the output
• 5.3. An example of the transformation from a compound statement in the output into simple statements
• 5.4. An example of the transformation from a conditional statement into guards
• 5.5. An example of the transformation from a for-loop into multiple transitions
• 5.6. An example of the transformation from a break statement into DCharts transitions
• 5.7. An example of the transformation from a continue statement into DCharts transitions
• 5.8. The three parts of a system
• 6.1. SVM class design
• 6.2. SVM default graphical interface
• 6.3. SVM default textual interface
• 6.4. AToM$^3$ modeling environment with SVM plugin
• 6.5. Multiple layers for distributed simulation in SVM
• 6.6. Sender of the Echo example
• 6.7. Echo of the Echo example
• 6.8. Name pattern of the Echo server
• 6.9. Port name of the Echo server
• 8.1. Java class hierarchy of state machines
• 8.2. An example of the default textual interface of the Java code synthesized by SCC
• 8.3. The graphical representation of a sample model for SCC
• 8.4. Applet interface for the Java code synthesized from a DCharts model
• 9.1. The MP3 player
• 9.2. Traces of the software process model simulation
• 9.3. The TCP system
• 9.4. Overview of the TCP simulator
• 9.5. The submodel of the client application
• 9.6. The submodel of the TCP driver (for both client side and server side)
• 9.7. The ActiveClose state of the TCP driver
• 9.8. The PassiveClose state of the TCP driver
• 9.9. The Established state of the TCP driver
• 9.10. The submodel of the communication channel
• 9.11. The submodel of the server application
• 9.12. The virtual-time version of the communication channel
• 9.13. The plot of the simulation result of the TCP model