Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
The case for reflective middleware
Communications of the ACM - Adaptive middleware
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Paramics: moving vehicles on the connection machine
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Integrated simulation and gaming architecture for incident management training
WSC '05 Proceedings of the 37th conference on Winter simulation
Distributed simulation in industry -- a survey, part 3 -- the HLA standard in industry
Proceedings of the 40th Conference on Winter Simulation
A reflective middleware architecture for simulation integration
Proceedings of the 8th International Workshop on Adaptive and Reflective MIddleware
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Middleware solutions for integrated simulation environments
Proceedings of the 7th Middleware Doctoral Symposium
DrillSim: a simulation framework for emergency response drills
ISI'06 Proceedings of the 4th IEEE international conference on Intelligence and Security Informatics
Describing the HLA using the DFSS formalism
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Using a formal approach to simulation interoperability to specify languages for ambassador agents
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Simulation models are typically developed by domain experts who have an in-depth understanding of the phenomena being modeled and are designed to be executed and evaluated independently. A grand challenge is to facilitate the process of pulling all of independently created models together into an integrated simulation environment wherein we can model and execute complex scenarios involving multiple simulators. In this paper, we describe the use of the rewriting logic based Maude tool to specify and analyze such an integrated simulation environments (multisimulations). We discuss the representation of the underlying multisimulation concepts and describe the use of Maude capabilities to analyze multisimulations. We also discuss the use of Maude's reflective capability. The idea of multisimulations specifications using Maude opens up an exciting new world of challenging applications for formal methods in general and for rewriting logic based formalisms in particular.