A framework for verifying discrete event models within a DEVS-based system development methodology
Transactions of the Society for Computer Simulation International
A heterogeneous simulation framework based on the DEVS BUS and the high level architecture
Proceedings of the 30th conference on Winter simulation
Distributed supply chain simulation in a DEVS/CORBA execution environment
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Discrete event modelng and simulation technologies
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
A two-stage modeling and simulation process for web-based modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Fuzzy Logic Control-Based Load Balancing Agent for Distributed RFID Systems
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Simulation of heterogeneous DEVS models; application to the study of natural systems
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Integrating discrete-event and time-based models with optimization for resource allocation
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
We briefly review the theory of modeling and simulation and its support for constructing distributed simulations. Formal representation of simulation models can contribute to a number of aspects in the modeling and simulation enterprise. Separation of models from simulation execution engines is a prerequisite transferring model among phases of a project as well as from project to project. The Discrete Event System Specification (DEVS) formalism, drawing on its system theoretic basis, provides a number of important properties such as hierarchical, modular composition, universality and uniqueness that can support development of simulation models and environments their development. An layered architecture for supporting comprehensive M&S environments is discussed that unifies the theoretical framework with implementation in distributed computational environments.