THE ROLE OF PROCESS ABSTRACTION IN SIMULATION

被引:30
作者
FISHWICK, PA
机构
[1] Univ of Florida, Gainesville, FL,, USA, Univ of Florida, Gainesville, FL, USA
来源
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS | 1988年 / 18卷 / 01期
关键词
AUTOMATA THEORY - Finite Automata - COMPUTER GRAPHICS - Animation - COMPUTER SIMULATION - MATHEMATICAL TECHNIQUES - Graph Theory;
D O I
10.1109/21.87052
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:18 / 39
页数:22
相关论文
共 70 条
[1]  
Abraham R, 1982, DYNAMICS GEOMETRY BE, V1-4
[2]  
Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[3]   PROGRAM DATA FLOW ANALYSIS PROCEDURE [J].
ALLEN, FE ;
COCKE, J .
COMMUNICATIONS OF THE ACM, 1976, 19 (03) :137-147
[4]  
AMANATIDES J, 1987, IEEE COMPUT GRAPHICS, V7
[5]  
ANDREAE PM, 1984, 4TH P NAT C ART INT, P6
[6]   INDUCTIVE INFERENCE - THEORY AND METHODS [J].
ANGLUIN, D ;
SMITH, CH .
COMPUTING SURVEYS, 1983, 15 (03) :237-269
[7]  
BADLER NI, 1979, COMPUT SURV, V11, P19, DOI 10.1145/356757.356760
[8]  
BADLER NI, 1986, VISUAL COMPUT, V1, P212
[9]  
BADLER NI, 1975, THESIS U TORONTO TOR
[10]  
Bobrow D.., 1985, QUALITATIVE REASONIN