FROM ABSTRACTION TO IMPLEMENTATION: IMPROVING THE RDEVS MODELING AND SIMULATION THROUGH A DOMAIN MODELING SPECIFICATION

The Routed DEVS (RDEVS) formalism provides a feasible solution to modelers for easily build discrete-event simulation models for routing processes. By employing three types of models, the formalism provides an appropriate separation of concerns in terms of the routing structure, the possible paths and the component behaviors. This paper presents the usefulness of graphical Modeling and Simulation (M&S) for supporting the implementation of routing process simulation models thought their abstraction to a graph model. These simulation models are formalized using RDEVS formalism. The methodological proposal is focused in the development of a M&S software tool based on a combination of data metamodels and formalizations rules. The final software tool was developed as a plugin for Eclipse IDE with aims to take advantage of existent M&S software. One of the main benefits obtained when modeling an abstraction with the proposed M&S tool is a significant reduction of formalization and implementation times.