Skip to main content
Log in

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

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

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.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • 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 Simulation

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Auernig, F. 1992. An object oriented kernel for system theoretic simulation modelling. Master thesis, Johannes Kepler University, Linz, Austria.

    Google Scholar 

  • 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.

  • Bobrow, D.G., and Stefik, M. 1983.The LOOPS Manual. Palo Alto, CA: Xerox PARC.

    Google Scholar 

  • Booch, G. 1991.Object oriented design with applications. Redwood City, CA: Benjamin Cummings.

    Google Scholar 

  • Burden, R.L., and Faires, J.D. 1989.Numerical Analysis. Boston: PWS-Kent.

    Google Scholar 

  • 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 

  • Cellier, F.E. 1986. Combined continuous/discrete simulation—application, techniques, and tools.Proc. 1986 Winter Simulation Conf., Washington, D.C. pp. 24–33.

  • Cellier, F.E. 1991.Continuous System Modelling. New York: Springer-Verlag.

    Google Scholar 

  • 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 

  • 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 

  • 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.

    Article  MATH  Google Scholar 

  • Garzia, R.F., Garzia, M.R., and Zeigler, B.P. 1986. Discrete-event simulation.IEEE Spectrum, pp. 32–36.

  • Ho, Y. (ed.). 1989. Special Issue on Dynamics of Discrete Event Systems.Proc. IEEE, 77(1).

  • 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.

  • Kapfer, W. 1989. Optimale Dimensionierung einer Niedertemperatur-Solaranlage für die Warmwasserbereitung. Master thesis, Johannes Kepler University, Linz, Austria.

    Google Scholar 

  • Keene, S.E. 1989.Object-Oriented Programming in Common LISP. Reading, MA: Addison-Wesley.

    Google Scholar 

  • Meingassner, B., and Mitterhauser, K. Optimale Dimensionierung einer Solarheizung. Technical report, Institute of Mathematics, Johannes Kepler University, Linz, Austria.

  • Meyer, B. 1988.Object Oriented Software Construction. Englewood Cliffs, NJ: Prentice Hall.

    Google Scholar 

  • Meystel, A. 1989. Intelligent control: a sketch of the theory.J. Intelligent Robotic Systems, 2(2, 3), pp. 97–107.

    Google Scholar 

  • 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 

  • Ö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 

  • Ö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 

  • Ö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 

  • 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 

  • 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 

  • Pichler, F., and Schwärtzel, H. 1990.CAST—Computerunterstuetzte Systemtheorie. Berlin: Springer-Verlag.

    Google Scholar 

  • Pichler, F., and Schwärtzel, H. (eds.). 1992.CAST Methods in Modelling. Berlin: Springer-Verlag.

    Google Scholar 

  • 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 

  • Praehofer, H. 1991. Systems theoretic formalisms for combined discrete continuous system simulation.Int. J. Gen. Systems, 19(3), pp. 219–240.

    MATH  Google Scholar 

  • Pritsker, A.A.B. 1974.The GASP IV Simulation Language. New York: Wiley.

    Google Scholar 

  • Reisinger, G. 1992. Simulation of combined discrete-continuous, modular, hierarchical models in common Lisp/CLOS. Master thesis, Johannes Kepler University, Linz, Austria.

    Google Scholar 

  • Rumbaugh, J., Blaha, M., Premerlani, W., Frederick, E., and Lorenson, W. 1991.Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Saridis, G. 1983. Intelligent robotic controls.IEEE Trans. Auto. Control, AC-28(5).

  • Steele, G. 1990.Common LISP: The Language, 2nd ed. Burlington: Digital Press.

    Google Scholar 

  • Symbolics. 1991.Common Lisp Interface Manager (CLIM): Release 1.0. Burlington, MA: Symbolics Corp.

    Google Scholar 

  • Zeigler, B.P. 1976.Theory of Modelling and Simulation. New York: Wiley.

    Google Scholar 

  • Zeigler, B.P. 1984.Multifacetted Modelling and Discrete Event Simulation. London: Academic Press.

    Google Scholar 

  • Zeigler, B.P. 1987. Hierarchical, modular discrete event simulation in an object oriented environment.Simulation J. 49(5), pp. 219–230.

    Google Scholar 

  • Zeigler, B.P. 1989. DEVS representation of dynamical systems: event-based intelligent control.Proc. IEEE, 77(1), pp. 72–80.

    Article  Google Scholar 

  • Zeigler, B.P. 1990.Object-Oriented Simulation with Hierarchical, Modular Models. London: Academic Press.

    Google Scholar 

  • 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.

  • 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 

Download references

Author information

Authors and Affiliations

Authors

Additional information

This research was supported in part by SIEMENS Munich, ZFE, ST.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Praehofer, H., Auernig, F. & Reisinger, G. An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS. Discrete Event Dyn Syst 3, 119–149 (1993). https://doi.org/10.1007/BF01439846

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01439846

Key Words

Navigation