Discrete Event Dynamic Systems

, Volume 3, Issue 2–3, pp 119–149 | Cite as

An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS

  • H. Praehofer
  • F. Auernig
  • G. Reisinger


The paper presents the realization of an object-oriented kernel of a new modeling and simulation environment. The kernel system stands out as it is based on systems theoretical concepts and facilitates combined discrete-continuous, modular, hierarchical modeling. Its implementation language is the AI language Common Lisp and its object-oriented superset CLOS. The kernel system serves as the basis for a knowledge-based modeling and simulation environment supporting interactive modeling and simulation and automatic model construction.

Key Words

systems theory combined discrete-continuous simulation multiformalism models modular hierarchical modeling object-oriented simulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Adelsberger, H.H., Pooch, U.W., Shannon, R.E., Williams, G.N. 1986. Rule based object oriented simulation systems. InIntelligent Simulation Environments (P.A. Luker and H.H. Adelsberger, eds.) Simulation Series, Vol. 17, San Diego, CA: Society of Computer SimulationGoogle Scholar
  2. Antsaklis, P.J., Passino, K.M., and Wang, S.J. 1989. Towards intelligent autonomous control systems.J. Intelligent Robotic Systems, 1(4), pp. 315–342.CrossRefGoogle Scholar
  3. Auernig, F. 1992. An object oriented kernel for system theoretic simulation modelling. Master thesis, Johannes Kepler University, Linz, Austria.Google Scholar
  4. Bobrow, D.G., DeMichiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., and Moon, D.A. 1988.The Common LISP Object System Specification (X3J13-88-002). American National Standard Institute.Google Scholar
  5. Bobrow, D.G., and Stefik, M. 1983.The LOOPS Manual. Palo Alto, CA: Xerox PARC.Google Scholar
  6. Booch, G. 1991.Object oriented design with applications. Redwood City, CA: Benjamin Cummings.Google Scholar
  7. Burden, R.L., and Faires, J.D. 1989.Numerical Analysis. Boston: PWS-Kent.Google Scholar
  8. Cellier, F.E. 1979. Combined continuous/discrete system simulation by use of digital computers. Techniques and tools. Ph.D. thesis, Diss ETH No. 6483, Swiss Federal Institute of Technology, Switzerland.Google Scholar
  9. Cellier, F.E. 1986. Combined continuous/discrete simulation—application, techniques, and tools.Proc. 1986 Winter Simulation Conf., Washington, D.C. pp. 24–33.Google Scholar
  10. Cellier, F.E. 1991.Continuous System Modelling. New York: Springer-Verlag.Google Scholar
  11. Elzas, M.S., Ören, T.I., and Zeigler, B.P. (eds.). 1986.Modelling and Simulation Methodology: Knowledge System's Paradigms. Amsterdam: North-Holland.Google Scholar
  12. Elzas, M.S., Ören, T.I., and Zeigler, B.P. (eds.). 1986.Modelling and simulation in the artificial intelligence era. Amsterdam: North-Holland.Google Scholar
  13. Fishwick, P.A., and Zeigler, B.P. 1992. A multimodel methodology for qualitative model engineering.ACM Trans. Modeling Comput. Simulation, 2(1), pp. 52–81.zbMATHCrossRefGoogle Scholar
  14. Garzia, R.F., Garzia, M.R., and Zeigler, B.P. 1986. Discrete-event simulation.IEEE Spectrum, pp. 32–36.Google Scholar
  15. Ho, Y. (ed.). 1989. Special Issue on Dynamics of Discrete Event Systems.Proc. IEEE, 77(1).Google Scholar
  16. Ingalls, D., Wallace, S., Chow, Y., Ludolph, F., and Doyle, K. 1988. Fabrics—a visual programming environment.OOPSLA '88 Proc., ACM Sigplan Notices, Special Issue.Google Scholar
  17. Kapfer, W. 1989. Optimale Dimensionierung einer Niedertemperatur-Solaranlage für die Warmwasserbereitung. Master thesis, Johannes Kepler University, Linz, Austria.Google Scholar
  18. Keene, S.E. 1989.Object-Oriented Programming in Common LISP. Reading, MA: Addison-Wesley.Google Scholar
  19. Meingassner, B., and Mitterhauser, K. Optimale Dimensionierung einer Solarheizung. Technical report, Institute of Mathematics, Johannes Kepler University, Linz, Austria.Google Scholar
  20. Meyer, B. 1988.Object Oriented Software Construction. Englewood Cliffs, NJ: Prentice Hall.Google Scholar
  21. Meystel, A. 1989. Intelligent control: a sketch of the theory.J. Intelligent Robotic Systems, 2(2, 3), pp. 97–107.Google Scholar
  22. Mittelmann, R., and Praehofer, H. 1990. Design of an object oriented kernel system for computer aided systems theory and systems theory instrumented modelling and simulation. InComputer Aided Systems Theory—EUROCAST '89 (F. Pichler and R. Moreno-Diaz, eds.). Lecture Notes in Computer Science, New York: Springer-Verlag, pp. 76–85.Google Scholar
  23. Ören, T.I. 1984. GEST—a modelling and simulation language based on system theoretic concepts. InSimulation and Model-Based Methodologies: An Integrative View (T.I. Ören, B.P. Zeigler, and M.S. Elzas, eds.). NATO ASI Series, Series F: Computer and System Sciences, Vol. 10, New York: Springer-Verlag, pp. 281–335.Google Scholar
  24. Ören, T.I. 1991. Dynamic templates and semantic rules for simulation advisers and certifiers. InKnowledge-Based Simulation: Methodology and Application (P.A. Fishwick and R.B. Modjeski, eds.). New York: Springer-Verlag, pp. 53–76.Google Scholar
  25. Ören, T.I., Zeigler, B.P., and Elzas, M.S. (eds.). 1984.Simulation and Model-Based Methodologies: An Integrative View. Berlin: Springer-Verlag.Google Scholar
  26. Pichler, F., and Moreno-Diaz, R. (eds.). 1990.Computer Aided Systems Theory—EUROCAST '89. Lecture Notes in Computer Science, Vol. 410, Berlin: Springer-Verlag.Google Scholar
  27. Pichler, F., and Moreno-Diaz, R. (eds.). 1992.Computer Aided Systems Theory—EUROCAST'91. Lecture Notes in Computer Science, Vol. 585, Berlin: Springer-Verlag.Google Scholar
  28. Pichler, F., and Schwärtzel, H. 1990.CAST—Computerunterstuetzte Systemtheorie. Berlin: Springer-Verlag.Google Scholar
  29. Pichler, F., and Schwärtzel, H. (eds.). 1992.CAST Methods in Modelling. Berlin: Springer-Verlag.Google Scholar
  30. Praehofer, H. 1991. Systems theoretic foundations for combined discrete continuous system simulation. Ph.D. thesis, Department of Systems Theory, University of Linz, Austria.Google Scholar
  31. Praehofer, H. 1991. Systems theoretic formalisms for combined discrete continuous system simulation.Int. J. Gen. Systems, 19(3), pp. 219–240.zbMATHGoogle Scholar
  32. Pritsker, A.A.B. 1974.The GASP IV Simulation Language. New York: Wiley.Google Scholar
  33. Reisinger, G. 1992. Simulation of combined discrete-continuous, modular, hierarchical models in common Lisp/CLOS. Master thesis, Johannes Kepler University, Linz, Austria.Google Scholar
  34. Rumbaugh, J., Blaha, M., Premerlani, W., Frederick, E., and Lorenson, W. 1991.Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice-Hall.Google Scholar
  35. Saridis, G. 1983. Intelligent robotic controls.IEEE Trans. Auto. Control, AC-28(5).Google Scholar
  36. Steele, G. 1990.Common LISP: The Language, 2nd ed. Burlington: Digital Press.Google Scholar
  37. Symbolics. 1991.Common Lisp Interface Manager (CLIM): Release 1.0. Burlington, MA: Symbolics Corp.Google Scholar
  38. Zeigler, B.P. 1976.Theory of Modelling and Simulation. New York: Wiley.Google Scholar
  39. Zeigler, B.P. 1984.Multifacetted Modelling and Discrete Event Simulation. London: Academic Press.Google Scholar
  40. Zeigler, B.P. 1987. Hierarchical, modular discrete event simulation in an object oriented environment.Simulation J. 49(5), pp. 219–230.Google Scholar
  41. Zeigler, B.P. 1989. DEVS representation of dynamical systems: event-based intelligent control.Proc. IEEE, 77(1), pp. 72–80.CrossRefGoogle Scholar
  42. Zeigler, B.P. 1990.Object-Oriented Simulation with Hierarchical, Modular Models. London: Academic Press.Google Scholar
  43. Zeigler, B.P. 1990. High autonomy systems: concepts and models. InAI, Simulation and Planning in High Autonomy Systems (B.P. Zeigler and J.W. Rozenblit, eds.). IEEE Computer Society Press, pp. 2–7.Google Scholar
  44. Zeigler, B.P., and Praehofer, H. 1990. System theory challenges in the simulation of variable structure and intelligent systems. InComputer Aided Systems Theory—EUROCAST '89 (F. Pichler and R. Moreno-Diaz, eds.). Lecture Notes in Computer Science, vol. 410, Berlin: Springer-Verlag, pp. 41–51.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • H. Praehofer
    • 1
  • F. Auernig
    • 1
  • G. Reisinger
    • 1
  1. 1.Department of Systems Theory and Information Engineering, Institute of Systems SciencesJohannes Kepler University LinzLinzAustria

Personalised recommendations