Skip to main content

DEVS Formalism: A Hierarchical Generation Scheme

  • Conference paper
Book cover Artificial Intelligence and Simulation (AIS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3397))

  • 1238 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Klir, G.J.: Architecture of Systems Problem Solving. Plenum Press, NY (1985)

    MATH  Google Scholar 

  2. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press, London (2000)

    Google Scholar 

  3. Zeigler, B.P., Chi, S.D.: Symbolic Discrete Event System Specification. IEEE Transactions on System, Man, and Cybernetics 22(6), 1428–1443 (1992)

    Article  Google Scholar 

  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. 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. 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. Barros, F.J.: Modeling Formalisms for Dynamic Structure Systems. ACM transactions on Modeling and Computer Simulation 7(4), 501–515 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Park, S., Kim, K. (2005). DEVS Formalism: A Hierarchical Generation Scheme. In: Kim, T.G. (eds) Artificial Intelligence and Simulation. AIS 2004. Lecture Notes in Computer Science(), vol 3397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30583-5_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30583-5_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24476-9

  • Online ISBN: 978-3-540-30583-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics