START Conference Manager    

Taxonomy of DEVS Classes for DEVS Standardization

Moon Ho Hwang

Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS 2011)
Boston, MA, USA, April 4-9, 2011


This paper clarifies the class hierarchy among DEVS variants 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 hetaeristic. Based on this interpretation, inclusion relationship between several different formalisms including Timed Automaton are shown. As a consequence, this paper contributes to \emph{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

START Conference Manager (V2.56.8 - Rev. 1568)