You are previewing Formal Languages for Computer Simulation.
O'Reilly logo
Formal Languages for Computer Simulation

Book Description

Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  5. Preface
  6. Chapter 1: Conceptual Modeling Using Petri Nets
    1. ABSTRACT
    2. INTRODUCTION
    3. PETRI NETS
    4. ELEMENTS OF A SIMULATION MODEL
    5. MAPPING TO AN ARENA EXECUTABLE MODEL
    6. CONCLUSION
  7. Chapter 2: Modeling for System´s Understanding
    1. ABSTRACT
    2. INTRODUCTION
    3. RUNNING EXAMPLE: THE BURDEN OF DIABETES MELLITUS
    4. THE MODELING PROCESS
    5. CAUSAL LOOP DIAGRAMS
    6. STOCK-AND-FLOW DIAGRAMS
    7. FROM MODELS TO NUMBERS: SIMULATION
    8. VALIDATION: STRUCTURE, BEHAVIOR AND ACCURACY
    9. CONCLUDING REMARKS
    10. APPENDIX
  8. Chapter 3: The DEVS Formalism
    1. ABSTRACT
    2. INTRODUCTION
    3. AN EXAMPLE
    4. REPRESENTATION OF STATE
    5. LEGITIMACY OF ATOMIC MODELS
    6. DEVS COUPLED MODELS
    7. LEGITIMACY OF COUPLED MODELS
    8. HIERARCHICAL MODELS
    9. DEVS AND OBJECT-ORIENTED PROGRAMMING
    10. DEVS AND PARALLEL COMPUTING
    11. SUMMARY AND FURTHER READING
  9. Chapter 4: Thermal Analysis of the MIPS Processor Formulated within DEVS Conventions
    1. ABSTRACT
    2. INTRODUCTION
    3. MIPS
    4. OPERATION MODE
    5. TIMING
    6. INSTRUCTION FORMAT
    7. INSTRUCTION SET
    8. DEVS
    9. EXPERIMENTAL FRAME-MIPS
    10. REGISTER ALLOCATION
    11. CONCLUSION
  10. Chapter 5: Specification and Description Language for Discrete Simulation
    1. ABSTRACT
    2. INTRODUCTION
    3. DESCRIPTION OF SDL
    4. TO LEARN MORE
  11. Chapter 6: Modeling a Chilean Hospital Using Specification and Description Language
    1. ABSTRACT
    2. INTRODUCTION
    3. LITERATURE REVIEW
    4. THE HOSPITAL AND THE UAPQ
    5. METHODS
    6. MODELING THE UAPQ
    7. DISCUSSION
  12. Chapter 7: Formal Consistency Verification of UML Requirement and Analysis Models
    1. ABSTRACT
    2. INTRODUCTION
    3. RELATED WORKS
    4. ENRICHED USE CASES
    5. REQUIREMENT-ANALYSIS CONSISTENCY VERIFICATION
    6. ATM EXAMPLE
    7. CONCLUSION AND FUTURE WORKS
  13. Chapter 8: Model-Based System Design Using SysML
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. MODEL-BASED METHODOLOGIES FOR ENTERPRISE INFORMATION SYSTEM DESIGN
    5. SIMULATING SYSML MODELS
    6. USING SYSML TO SUPPORT MODEL-BASED EIS ARCHITECTURE DESIGN
    7. SOLUTION SYNTHESIS AND REQUIREMENTS DEFINITION
    8. INTRODUCING THE EVALUATION DIAGRAM: SOLUTION EVALUATION AND REQUIREMENT VERIFICATION
    9. SOLUTION READJUSTMENT
    10. CASE STUDY
    11. FUTURE RESEARCH DIRECTIONS
    12. CONCLUSION
  14. Chapter 9: Domain Specific Simulation Modeling with SysML and Model-to-Model Transformation for Discrete Processes
    1. ABSTRACT
    2. INTODUCTION
    3. BACKGROUND (STANDARDS FOR DISCRETE PROCESSES)
    4. MAIN FOCUS OF THE CHAPTER
    5. MODEL-TO-MODEL TRANSFORMATION
    6. SYSML MODELING TOOLS
    7. FUTURE RESEARCH DIRECTIONS
    8. CONCLUSION
  15. Chapter 10: An Integrated Framework to Simulate SysML Models Using DEVS Simulators
    1. ABSTRACT
    2. INTRODUCTION
    3. BACKGROUND
    4. SYSML MODELS SIMULATION
    5. APPLYING THE PROPOSED FRAMEWORK: A CASE STUDY
    6. FUTURE RESEARCH DIRECTIONS
    7. CONCLUSION
  16. Chapter 11: Overview on Agent-Based Social Modelling and the Use of Formal Languages
    1. ABSTRACT
    2. INTRODUCTION
    3. MODELLING SOCIAL SYSTEMS
    4. AGENT-BASED MODELLING IN SOCIAL SCIENCES
    5. TOOLS FOR MODELLING IN SOCIAL SIMULATION
    6. ON VERIFYING AND VALIDATING MODELS
    7. CONCLUSION
  17. Chapter 12: Agent-Based Simulation Model Representation Using BPMN
    1. ABSTRACT
    2. INTRODUCTION
    3. REPRESENTATION METHODS FOR AGENT-BASED SIMULATION
    4. BPMN-BASED MODEL REPRESENTATION
    5. CONCLUSION
  18. Compilation of References
  19. About the Contributors