Paper Info
Title
Taxonomy of DEVS subclasses for standardization
Abstract
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.
Year
Venue
Keywords
2011
SpringSim (TMS-DEVS)
devs standardization,particular domain,powerful sub-languages,different formalisms,devs subclasses,event segment,class hierarchy,timed automaton,devs formalism,inclusion relationship
DocType
Volume
Issue
Conference
43
1
ISSN
Citations 
PageRank 
0735-9276
2
0.46
References 
Authors
5
1
Name
Order
Citations
PageRank
Moon Ho Hwang1404.77