DEVS Formalism: A Hierarchical Generation Scheme

  • Sangjoon Park
  • Kwanjoong Kim
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3397)


System reproduction model to the growing system structure can be provided to design modeling formalisms for variable system architectures having historical characteristics. We introduce a DEVS (Discrete Event System Specifications)-based extended formalism that system structure gradually grows through self-reproduction of system components. As extended-atomic model of a system component makes virtual-child atomic DEVS models, a coupled model can be derived from coupling the parent atomic model and virtual-child atomic models. When a system component model reproduces its system component, a child component model can receive its parent model characteristics including determined role or behavior, and include different structure model characteristics. A virtual-child model that has its parent characteristics can also reproduce its virtual-child model, which may show similar attributes of the grand-parent model. By self-reproducible DEVS (SR-DEVS) modeling, we provide modeling specifications for variable network architecture systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Klir, G.J.: Architecture of Systems Problem Solving. Plenum Press, NY (1985)zbMATHGoogle Scholar
  2. 2.
    Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press, London (2000)Google Scholar
  3. 3.
    Zeigler, B.P., Chi, S.D.: Symbolic Discrete Event System Specification. IEEE Transactions on System, Man, and Cybernetics 22(6), 1428–1443 (1992)CrossRefGoogle Scholar
  4. 4.
    Kwon, Y.W., Park, H.C., Jung, S.H., Kim, T.G.: Fuzzy-DEVS Formalism: Concepts, Realization and Applications. In: Proc. of AIS 1996, August 1996, pp. 227–234 (1996)Google Scholar
  5. 5.
    Cho, S.M., Kim, T.G.: Real-time DEVS Simulation: Concurrent, Time-Selective Execution of Combined RT-DEVS Model and Interactive Environment. In: Proc. of SCSC 1998, July 1998, pp. 410–415 (1998)Google Scholar
  6. 6.
    Barros, F.J.: Dynamic Structure Discrete Event System Specification: Formalism, Abstract Simulators and Applications. Transactions of the Society for Computer Simulation 13(1), 35–46 (1996)Google Scholar
  7. 7.
    Barros, F.J.: Modeling Formalisms for Dynamic Structure Systems. ACM transactions on Modeling and Computer Simulation 7(4), 501–515 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Concepcion, A.I., Zeigler, B.P.: DEVS Formalism: A Framework for Hierarchical Model Development. IEEE Transactions on Software Engineering 14(2), 228–241 (1988)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Sangjoon Park
    • 1
  • Kwanjoong Kim
    • 2
  1. 1.Information and Media Technology InstituteSoongsil University 
  2. 2.Dept. of Computer and InformationHanseo University 

Personalised recommendations