The role of process abstraction in simulation

The concept of process abstraction, which allows simulationists to construct models composed of a set of interconnected levels, is discussed. Each level in the network represents the process at some given level of abstraction and is encoded using a model type (e.g. Petri net, automaton, data flow graph) appropriate to that level. An example process composed of articulated figures around a circular table is presented. After the process is formally defined at each level, the abstraction relationships between levels are discussed. A taxonomy of process abstraction methods is presented in an effort to characterize the fundamental concepts of level traversal. The application involving the animation of the process is described within the context of the HIRES simulation language that was constructed specifically to simulate and analyze multilevel simulations. Textual and graphical examples of HIRES output are included. Finally, some observations on the future of process abstraction in modeling are given. >

[1]  Herbert A. Simon,et al.  Aggregation of Variables in Dynamic Systems , 1961 .

[2]  John Cocke,et al.  A program data flow analysis procedure , 1976, CACM.

[3]  John Amanatides,et al.  Realism in Computer Graphics: A Survey , 1987, IEEE Computer Graphics and Applications.

[4]  Daniel Thalmann,et al.  Three-Dimensional Computer Animation: More an Evolution Than a Motion Problem , 1985, IEEE Computer Graphics and Applications.

[5]  John K. Tsotsos,et al.  Motion: Representation and perception , 1986 .

[6]  Y. Ijiri.  Fundamental Queries in Aggregation Theory , 1971 .

[7]  Norman I. Badler,et al.  Digital Representations of Human Movement , 1979, CSUR.

[8]  W. Nordhaus.  World Dynamics: Measurement Without Data , 1973 .

[9]  Bernard P. Zeigler,et al.  Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms , 1972, JACM.

[10]  Peter M. Andreae,et al.  Constraint Limited Generalization: Acquiring Procedures From Examples , 1984, AAAI.

[11]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[12]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[13]  Thomas H. Naylor,et al.  Verification of Computer Simulation Models , 1967 .

[14]  Norman I. Badler,et al.  Parametric keyframe interpolation incorporating kinetic adjustment and phrasing control , 1985, SIGGRAPH.

[15]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[16]  Daniel S. Weld.  The Use of Aggregation in Causal Simulation , 1986, Artif. Intell..

[17]  Steven K. Feiner,et al.  Apex: An Experiment in the Automated Creation of Pictorial Explanations , 1985, IEEE Computer Graphics and Applications.

[18]  Jean-Claude Latombe,et al.  An Approach to Automatic Robot Programming Based on Inductive Learning , 1984 .

[19]  Donald M. Schuler,et al.  THEMIS Logic Simulator - A Mix Mode, Multi-Level, Hierarchical, Interactive Digital Circuit Simulator , 1984, 21st Design Automation Conference Proceedings.

[20]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[21]  Emil L. Post.  Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[22]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[23]  George S. Fishman,et al.  The Analysis of Simulation-Generated Time Series , 1967 .

[24]  James H. Clark,et al.  Hierarchical geometric models for visible surface algorithms , 1976, CACM.