Mamadou Kaba Traoré

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)
The common view on modeling and simulation of dynamic systems is to focus on the specification of the state of the system and its transition function. Although some interesting challenges remain to efficiently and elegantly support this view, we consider in this paper that this problem is solved. Instead, we propose here to focus on a new point of view on(More)
DEVS (Discrete Event System Specification) is an approach in the area of modeling and simulation that provides a means of specifying dynamic systems. A variety of DEVS tools have been implemented without a standard developmental guideline across the board, consequently revealing a lack of central frameworks for integrating heterogeneous DEVS simula-tors.(More)