DEVS Formalism: A Framework for Hierarchical Model Development

A methodology is being developed to map hierarchical, modular discrete event models onto distributed simulator architectures. Concept developed for the first step of the methodology concerning model representation are discussed. The DEVS (Discrete Event System Specification) is extended to facilitate modular, hierarchical model specification. Procedures for top-down model development are expressed with the extended formalism and illustrated with a computer system model design. >

[1]  S. Zeldin,et al.  High order software - A methodology for defining software , 1975 .

[2]  Robert E. Young,et al.  An experiment in microprocessor-based distributed digital simulation , 1983, WSC '83.

[3]  M.M. Denneau.  The Yorktown Simulation Engine , 1982, 19th Design Automation Conference.

[4]  S. Zeldin,et al.  Higher Order Software—A Methodology for Defining Software , 1976, IEEE Transactions on Software Engineering.

[5]  David Lorge Parnas,et al.  Use of the concept of transparency in the design of hierarchically structured systems , 1975, CACM.

[6]  Arturo I. Concepcion.  Distributed simulation on multiprocessors: specification, design, and architecture (discrete event, computer) , 1985 .

[7]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[8]  Richard E. Nance.  Model Representation in Discrete Event Simulation: The Conical Methodology , 1981 .

[9]  Juan R. Pimentel.  Real-time simulation using multiple microcomputers , 1983 .

[10]  Miron Livny,et al.  The DISS methodology of distributed system simulation , 1984 .

[11]  Arturo I. Concepcion.  The implementation of the hierarchical abstract simulator on the HEP computer , 1985, WSC '85.

[12]  山本 喜一.  On distributed simulation , 1981 .

[13]  Richard E. Nance,et al.  A specification language to assist in analysis of discrete event simulation models , 1985, CACM.

[14]  P. Hogeweg,et al.  Two predators and one prey in a patchy environment: An application of MICMAC modelling , 1981 .

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

[16]  Bernard P. Zeigler,et al.  Extended DEVS for top down modelling in distributed simulation , 1985 .

[17]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[18]  Eric G. Manning,et al.  Distributed Simulation Using a Network of Processors , 1979, Comput. Networks.

[19]  Takashi Sato,et al.  PACS: a parallel microprocessor array for scientific calculations , 1983, TOCS.

[20]  B. Zeigler.  Alternative formalisms for bio- and eco-system modelling , 1975 .

[21]  Paul F. Reynolds,et al.  Performance analysis of a distributed simulation algorithm based on active logical processes , 1983, WSC '83.

[22]  Paul F. Reynolds.  Active logical processes and distributed simulation: An analysis , 1983, WSC '83.

[23]  Arturo I. Concepcion,et al.  SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems , 1986, WSC '86.

[24]  Pauline Hogeweg,et al.  CONCEPT ADVANTAGES OF DISCRETE EVENT FORMALISM , 1980 .

[25]  H. Simon,et al.  The Organization of Complex Systems , 1977 .

[26]  David Lorge Parnas,et al.  Review of David L. Parnas' "Designing Software for Ease of Extension and Contraction" , 2004 .

[27]  Brian W. Unger.  Distributed simulation , 1988, WSC '88.