Learn More
Modeling and Simulation (M&S) is becoming the core of scientific activities addressing nature complexity. To tackle complexity , we need to integrate heterogeneous formalisms in the same model. Models then become multimodels. Furthermore, M&S softwares have to assist take into account the M&S activity cycle, i.e. modellers to design and to implement models(More)
Simulation models are usually built in an objective-driven context. Capturing the relationship between a model and its context is a key issue in Modeling and Simulation (M&S). A better driving of the M&S life cycle requires the objectives, assumptions and constraints in disguise behind this relationship to be explicit. A sound systemic-based foundation is(More)
We propose DDML (DEVS-Driven Modeling Language), a graphical notation for DEVS modeling and simulation. This notation aims at providing a way to drive easily the modeling activity (by drawing and linking graphical symbols and augmenting them with text), and to catch at the same time the results of the simulation activity. This means that both structure and(More)
This paper shows how a simulation model can be specified so that its static and temporal properties can be formally analyzed. The approach adopted is based on the integration of formal methods (FMs) and the DEVS paradigm. FMs are known to allow symbolic manipulation and reasoning, while DEVS is known as being a well-establish modeling and simulation(More)
SimStudio is a Modeling & Simulation environment based on the DEVS formalism (Discrete EVent Systems Specification). Its architecture aims at integrating in a single platform tools for modeling, simulation, analysis and collaboration, by proposing model transformation features (code generation, among others) in order to smooth the modeling and simulation(More)