Formalization techniques: chopping down the methodology jungle
Information and Software Technology
Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The New Science of Management Decision
The New Science of Management Decision
Theory of Modeling and Simulation
Theory of Modeling and Simulation
GRASPARC: a problem solving environment integrating computation and visualization
VIS '93 Proceedings of the 4th conference on Visualization '93
A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations
ISPA '08 Proceedings of the 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications
Multiple worlds in simulation games for spatial decision making: concept and architecture
Proceedings of the 40th Conference on Winter Simulation
Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange
A DEVS component library for simulation-based design of automated container terminals
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Supporting the design of automated container terminals with the multiple worlds concept
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Model continuity in the design of dynamic distributed real-time systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
Two main activities in design are synthesis and analysis of alternatives. Modeling and simulation is mostly used in the analysis phase, although an advantage could be gained by using it in the synthesis phase. This advantage is the possibility to analyze each design decision while still in the synthesis phase. To achieve this, a gap needs to be closed between this approach and the current modeling and simulation formalisms. We consider this gap to mainly lie in the inability to incrementally construct, structure, and evaluate alternatives for a design process within a modeling and simulation environment. This paper introduces a formalism for the development of such an environment, capable of actively supporting the design of complex engineered systems through modeling and simulation. This formalism provides the ability to structure intermediate models, allowing the generation of, and the navigation through multiple worlds.