System entity structuring and model base management

System entity structure (SES) is a structural knowledge representation scheme that contains knowledge of decomposition, taxonomy, and coupling of a system. Formally, the SES is a labeled tree with attached variable types that satisfy certain axioms. Described is a realization of the SES in Scheme (a Lisp dialect), that is called ESP-Scheme. Specifically, the computer representation of SES and main operations on SES are presented, and then facilities provided by ESP-Scheme are described. Two examples of application are discussed: a parallel processor model and a simulation study of a university phone registration system. ESP-Scheme acts as a model base management system in DEVS-Scheme, a knowledge-based simulation environment. It supports specification of the structure of a family of models, pruning the structure to a reduced version, and transforming the latter to a simulation model by synthesizing component models in the model base. >

[1]  Bernard P. Zeigler,et al.  Design of a simulation environment for laboratory management by robot organizations , 1989, J. Intell. Robotic Syst..

[2]  Bernard P. Zeigler,et al.  The class kernel-models in DEVS-scheme: a hypercube architecture example , 1988, SIML.

[3]  Bernard P. Zeigler,et al.  Knowledge representation from Newton to MINSKY and beyond , 1987, Appl. Artif. Intell..

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

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

[6]  Osman Balci,et al.  Requirements for model development environments , 1986, Comput. Oper. Res..

[7]  Ray J. Paul,et al.  CASM—The Right Environment for Simulation , 1986 .

[8]  Bernard P. Zeigler,et al.  The DEVS formalism: hierarchical, modular systems specification in an object oriented framework , 1987, WSC '87.

[9]  Onur M. Ülgen,et al.  Hierarchical, modular simulation modeling in icon-based simulation program generators for manufacturing , 1988, WSC '88.

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

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

[12]  Sallie V. Sheppard,et al.  Automatic model synthesis: using automatic programming and expert systems techniques toward simulation modeling , 1987, WSC '87.

[13]  Robert E. Shannon Artificial Intelligence and Simulation , 1984 .

[14]  Yueh-Min Huang,et al.  Constraint-driven generation of model structures , 1987, WSC '87.

[15]  James O. Henriksen,et al.  The Integrated Simulation Environment (Simulation Software of the 1990s) , 1983, Oper. Res..

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

[17]  Joseph J. Talavage,et al.  A hybrid paradigm for modeling of complex systems , 1987, Simul..

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

[19]  Terry Winograd,et al.  FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY , 1975 .

[20]  Bernard P. Zeigler,et al.  Concepts for knowledge-based system design environments , 1985, WSC '85.

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

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