Routing structure over discrete event system specification: A DEVS adaptation to develop smart routing in simulation models

The Discrete Event System Specification (DEVS) formalism has become an engine for advances in modeling and simulation technology. Many extensions of the DEVS formalism have been developed across the years in order to solve different types of situations. However, when the acceptance of input events and the generation of output events are related to model capabilities, the current formalisms come up with complex modeling solutions. This paper presents a new simulation formalism called Routed DEVS (RDEVS) in which routing information is used to manage directed events. The behavior supported by the new formalism is useful to create simulation models of web application architectures. However, it could also be applied to other contexts. The RDEVS formalism is based on DEVS and is closure under coupling (i.e. models can be built hierarchically). The formal specification of RDEVS formalism and a briefly description of its framework implementation are presented in this work.