Browse > Article
http://dx.doi.org/10.9709/JKSS.2012.21.2.019

Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems  

Song, Hae-Sang (서원대학교 컴퓨터공학과)
Publication Information
Journal of the Korea Society for Simulation / v.21, no.2, 2012 , pp. 19-30 More about this Journal
Abstract
In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.
Keywords
Structured DEVS formalism; DEVS Diagram; Phase; Port and Variable;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Lee, S.Y, Jang, S.H., Lee, J.S. (2010) "워게임 시뮬레이션에서 전장상황을 고려한 최적경로 모델링 및 시뮬레이션", 한국시뮬레이션학회논문지, Vol. 19, No. 3, pp. 27-35.
2 Lim, S.Y. and Kim, T.G. (2001) "DEVS형식론에 기반한 하이브리드 시스템 모델링 시뮬레이션 방법론 - 제1부:모델링 및 시뮬레이션 방법론", 한국시뮬레이션학회논문지, Vol. 10, No. 3, pp.1-14.
3 Song, Hae S., Lee, J.Y., Kim, T.G. (2010) "DEVS-based Modeling Simulation for Semiconductor Manufacturing Using an Simulation-based Adaptive Real-time Job Control Framework", 한국시뮬레이션학회논문지, Vol. 10, No. 3, pp. 45-54.
4 Hong, Jun S.; Hae S. Song; Tag G. Kim and K. H. Park. 1997. "A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development", Discrete Event Dynamic Systems, Vol. 7, No. 4, pp. 355-375.   DOI
5 Hong, Ki J. and Tag G. Kim. (2006) "DEVSpecL-DEVS specification language for modeling, simulation and analysis of discrete event systems", Information and Software Technology, Vol. 48, No. 4, pp. 221-234.   DOI   ScienceOn
6 Kim, Jae H. and Tag G. Kim. (2006) "Parametric Behavior Modeling Framework for War Game Models Development Using OO Co-Modeling Methodology", 2006 Spring Simulation MultiConf., Huntsville, USA, pp. 69-75.
7 Kim, Tag G.; C. H. Sung; S.Y. Hong; J.H. Hong; C.B. Choi, J.H. Kim; K.M. Seo; and J.W. Bae. (2011) "DEVSim++ Tools Set for Defense M&S and Interoperation", The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, Vol. 8, No. 3, pp. 129-142.   DOI
8 Kim, Tag G. and S. B. Park. (1992) "The DEVS formalism: hierarchical modular systems specification in C++", 1992 European Simulation Multi-conference, York, United Kingdom. pp. 152-156.
9 Moallemi, M. and Gabriel A. Wainer. (2010) "Designing and Interface for Real-Time and Embedded DEVS", Proceedings of 2010 Spring Simulation Conference, pp. 154-161.
10 Nikolaidou, M.; V. Dalakas; L. Mitsi; G.D. Kapos; and D. Anagnostopoulos. (2008) "A SysML Profile for Classical DEVS Simulators", Proceedings of 3rd Internal Conference on Software Engineering Advances, pp. 445-450.
11 Song, Hae S. and Tag G. Kim. (2005) "Application of Real-time DEVS to Analysis of Safety-critical Embedded Control Systems: Railroad-crossing Control Example", Simulation, Vol. 81, No. 2, pp. 119-136.   DOI
12 Zeigler, B. P. and Tag G. Kim. (2000) Theory of Modelling and Simulation (2nd Ed.), Academic Press.
13 Song, Hae S. and Tag G. Kim. (2010) "DEVS Diagram Revisited: A Structured Approach for DEVS Modeling", Proc. of 2010 European Simulation and Modelling Conference, oct. 25-27 Hasselt, Belgium, pp. 94-101.
14 Zeigler, B.P. (1984), Multifacetted Modeling and Discrete Event Simulation, Academic Press.