The DEVS-scheme modelling and simulation environment

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.

[1]  Heimo H. Adelsberger,et al.  Intelligent simulation environments , 1986 .

[2]  Bernard P. Zeigler,et al.  ESP-Scheme: A Realization of System Entity Structure in a LISP Environment , 1989 .

[3]  Bernard P. Zeigler,et al.  Using the CESM Shell to Classify Wafer Defects from Visual Data , 1990, Other Conferences.

[4]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man and Cybernetics.

[5]  Tag Gon Kim,et al.  A knowledge-based environment for hierarchical modelling and simulation , 1988 .

[6]  Paul K. Davis,et al.  Applying Artificial Intelligence Techniques to Strategic-Level Gaming and Simulation , 1988 .

[7]  C. Desoer,et al.  Linear System Theory , 1963 .

[8]  Mark S. Fox,et al.  The Kowledge-Based Simulation System , 1986, IEEE Software.

[9]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[10]  Robert M. O'Keefe,et al.  Simulation and expert systems- A taxonomy and some examples , 1986 .

[11]  Bernard P. Zeigler,et al.  Entity Structure Based Design Methodology: A LAN Protocol Example , 1988, IEEE Trans. Software Eng..

[12]  Bernard P. Zeigler,et al.  DEVS Formalism: A Framework for Hierarchical Model Development , 1988, IEEE Trans. Software Eng..

[13]  Guoqing Zhang,et al.  Mapping Hierarchical Discrete Event Models to Multiprocessor Systems: Concepts, Algorithm, and Simulation , 1990, J. Parallel Distributed Comput..

[14]  Bernard P. Zeigler,et al.  Modelling and simulation methodology in the artificial intelligence era. , 1986 .

[15]  Bernard P. Zeigler,et al.  Hierarchical, modular discrete-event modelling in an object-oriented environment , 1987 .

[16]  Olivia R. Liu Sheng,et al.  An object-oriented methodology for database/knowledgebase coupling: an implementation of the structured entity model in Nexpert system , 1989, DATB.

[17]  Bernard P. Zeigler,et al.  System-Theoretic Representation of Simulation Models , 1984 .