Abstract
The Discrete Event System Specification (DEVS) formalism makes it possible to design new simulation languages with better understood and sounder semantics. The DEVS-Scheme environment is a realization of the DEVS formalism in Scheme (a LISP dialect) environment, which supports hierarchical, modular specification of discrete-event models, a systems theoretic approach not possible in conventional languages. The DEVS formalism also provides a formal representation of discrete-event systems capable of mathematical manipulation.
This chapter describes recent progress made in developing the DEVS-Scheme environment in the AI and Simulation Group at the University of Arizona. A knowledge-based modelling and simulation environment, DEVS-Scheme allows users to create models and store them in its knowledge base for reuse them as a component(s) to develop hierarchical models. The DEVS-Scheme environment has been tested on a variety of domains characterized by complex, hierarchical structures such as advanced multi-computer architectures, intelligent multi-robot organizations, and biologically-based life support systems. Thus, the DEVS-Scheme environment represents a significant step toward implementing system theory based formalisms and operations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abelson, H., G.J. Sussman and J. Sussman (1985), Structure and Interpretation of Computer Programs, MIT Press.
Chi, Sung Do, Tag Gon Kim, and B.P. Zeigler (1989), “Using the CESM Shell to Classify Wafer Defects from Visual Data,” in Proc. of SPIE’89, Philadelphia, PA.
Concepcion, A.I. and B.P. Zeigler (1988), “DENS Formalism. A Framework for Hierarchical Model Development,” IEEE Trans. Soft. Engr., vol. SE-14, no. 2, pp. 228–241, Feb. 1988.
Davis, P.K. (1986), “Applying Artificial Intelligence Techniques to Strategic-level Gaming and Simulation,” In: Modelling and Simulation Methodology in the Artificial Intelligence Era, Elzas, M.S., Oren, T.I., Zeigler, B.P. (Eds), North Holland, Amsterdam.
Higa, K.H. (1988), “End-user Logical Database Design: The Structure Entity Model Approach”, Doctoral Dissertation, MIS Dept., University of Arizona.
Higa, K.H. and O.R. Liu Sheng (1989), “An Object-Oriented Methodology for Database/Knowledgebase Coupling: An Implementation of the Structured Entity Model in Nexpert System”, Working Paper, MIS Dept., University of Arizona.
Kim, Tag Gon (1988), “A Knowledge-Based Environment for Hierarchical Modelling and Simulation,” Doctoral Dissertation, University of Arizona, Tucson.
Kim, Tag Gon, Guoqing Zhang, B.P. Zeigler (1988), “Entity Structure Management of Continuous Simulation Models,” in Proc. Summer Sim. Conf., Seattle.
Kim, Tag Gon (1989), “ESP-Scheme: A Realization of System Entity Structure in a LISP Environment,” in Proc. AI and Simulation, 89 Eastern Multiconf, Tampa, FL.
O’Keefe R. (1986), “Simulation and Expert Systems—A Taxonomy and Some Examples,” Simulation, 46:1, 10–16.
Reddy, Y.V., Fox, M.S., Husain, N. and McRoberts, M. (1986), “The Knowledge-Based Simulation System,” IEEE Software, March, 26–37.
Robertson, P. (1986), “A Rule Based Expert Simulation Environment,” In: Intelligent Simulation Environments, (Eds: Luker, P.A. and Adelsberger, H.H.) Simulation Series, vol. 17, SCS, San Diego, CA.
Sevinc, S. and B.P. Zeigler (1988), “Entity Structure Based Methodology: A LAN Protocol Example,” IEEE Trans. Soft. Engr., vol. 14, No. 3, March, pp. 375–383
Zadeh, L.A. and C.A. Desoer (1963), Linear System Theory, The State Space Approach, McGraw Hill, NY.
Zeigler, B.P. (1976), Theory of Modelling and Simulation, Wiley, N.Y. (Reissued by Krieger Pub. Co., Malabar, FL. 1985).
Zeigler, B.P. (1984a), Multifaceted Modelling and Discrete Event Simulation, Academic Press, London and Orlando, FL.
Zeigler, B.P. (1984b), “System-Theoretic Representation of Simulation Models,” HE Trans., March, pp. 19–34.
Zeigler, B.P. (1986), “DEVS-Scheme: A Lisp-Based Environment for Hierarchical, Modular Discrete Event Models,” Tech. Report AIS-2, Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, AZ.
Zeigler, B.P. (1987a), “Knowledge Representation from Minsky to Newton and Beyond,” Applied Artificial Intelligence, vol. 187–107, Hemisphere Pub. Co.
Zeigler, B.P. (1987b), “Hierarchical, Modular Discrete Event Modelling in Object Oriented Environment,” Simulation J. Nov.
Zeigler, B.P. and G. Zhang, “Mapping Hierarchical Discrete Event Models to Multiprocessor Systems: Algorithm, Analysis, and Simulation,” J. Parallel and Distributed Computers, (in press).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Kim, T.G., Zeigler, B.P. (1991). The DEVS-Scheme Modelling and Simulation Environment. In: Fishwick, P.A., Modjeski, R.B. (eds) Knowledge-Based Simulation. Advances in Simulation, vol 4. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-3040-3_2
Download citation
DOI: https://doi.org/10.1007/978-1-4612-3040-3_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97374-6
Online ISBN: 978-1-4612-3040-3
eBook Packages: Springer Book Archive