Theoretical Computer Science
GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
Transactions of the Society for Computer Simulation International
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Discrete Event Simulation of Hybrid Systems
SIAM Journal on Scientific Computing
Rational time-advance DEVS (RTA-DEVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Hi-index | 0.00 |
This paper clarifies the class hierarchy among DEVS subclasses in terms of their expressiveness. We define the expressiveness of a given formalism as the scope of accepting event segments by the formalism. In this paper, we interpret that DEVS formalism can be nondeterministic as well as deterministic. Based on this interpretation, inclusion relationship between several different formalisms including Timed Automaton are shown. As a consequence, this paper contributes to DEVS standardization at a level of formalism. The classes clarify the power of DEVS and enable the development of powerful sub-languages that make it easier to work in particular domains - and to teach the basics of DEVS - as we do with a subclass, called FDDEVS.