DEVS formalism and methodology: unity of conception/diversity of application

DEVS (Discrete Event System Specification) is a general modelling formalism with sound semantics founded on a system theoretic basis. This gives it a claim to be universal for formalisms describing Discrete Event Dynamic Systems (DEDS). This gives that any other formalism such as Petri nets, which have become very popular for DEDS control can be embedded in it. Moreover, DEVS extends to the continuous case thus facilitating combined discrete/continuous modelling. The universality of DEVS is significant because it has been implemented in a variety of simulation environments, as extensions of diverse underlying Object-Oriented languages such as CLOS and C++. This gives it not only the power of formal rigor but also the practical capability of application to real world complex systems. The DEVS formalism has associated with it a characteristic abstract simulation engine architecture that can be realized in diverse sequential and parallel/distributed platforms. It is especially suitable for the simulation study of complex technical and natural systems with intelligent components and for long term model development capability acquired through systematic reusability. This tutorial will present the basic concepts of the DEVS formalism and its associated simulation methodology. These concepts will be illustrated in the context of large scale ecosystems modelling.

[1]  J. M. Baveco,et al.  An object-oriented tool for individual-oriented simulation : host-parasitoid system application , 1992 .

[2]  R G Reynolds,et al.  A hierarchical model of the evolution of cooperation in cultural systems. , 1989, Bio Systems.

[3]  Robert Costanza,et al.  Dynamic spatial simulation modeling of coastal wetland habitat succession , 1985 .

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

[5]  F. Sklar,et al.  The development of dynamic spatial models for landscape ecology: a review and prognosis , 1991 .

[6]  Keith Beven,et al.  Spatially Distributed Modeling: Conceptual Approach to Runoff Prediction , 1991 .

[7]  M. Vasconcelos,et al.  Firemap - Simulation of fire growth with a geographic information system , 1992 .

[8]  F. Sklar,et al.  Modeling Coastal Landscape Dynamics , 1990 .

[9]  Eric F. Wood,et al.  Strategies for large-scale, distributed hydrologic simulation , 1988 .

[10]  David G. Green,et al.  A generic approach to landscape modelling , 1990 .

[11]  David A. Woolhiser,et al.  Hydrologic and Watershed Modeling-State of the Art , 1973 .

[12]  Randy Gimblett,et al.  Spatial dynamic emergent hierarchies simulation and assessment system , 1992 .

[13]  Bernard P. Zeigler,et al.  Discrete-event simulation of forest landscape response to fire disturbances , 1993 .

[14]  M. Vasconcelos,et al.  Modeling spatial dynamic ecological processes with DEVS-Scheme and geographic information systems. , 1993 .

[15]  R. Freeze,et al.  Blueprint for a physically-based, digitally-simulated hydrologic response model , 1969 .

[16]  R. M. Fujimoto,et al.  Parallel discrete event simulation , 1989, WSC '89.

[17]  P. E. O'connell,et al.  An introduction to the European Hydrological System — Systeme Hydrologique Europeen, “SHE”, 1: History and philosophy of a physically-based, distributed modelling system , 1986 .

[18]  B. R. Preiss THE YADDES DISTRIBUTED DISCRETE EVENT SIMULATION SPECIFICATION LANGUAGE AND EXECUTION ENVIRONMENTS , 1989 .

[19]  Jerzy W. Rozenblit,et al.  An integrated framework for knowledge-based modeling and simulation of natural systems , 1991, Simul..

[20]  P. Hogeweg Cellular automata as a paradigm for ecological modeling , 1988 .

[21]  Bernard P. Zeigler,et al.  Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems , 1990 .

[22]  Richard M. Fujimoto Lookahead in Parallel Discrete Event Simulation , 1988 .

[23]  Jennifer L. Dungan,et al.  Forest ecosystem processes at the watershed scale: basis for distributed simulation , 1991 .

[24]  Lenore Fahrig,et al.  A general model of populations in patchy habitats , 1988 .

[25]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[26]  Edward J. Haug,et al.  Editor's Introduction to Special Issue , 1991 .

[27]  S. Running,et al.  Mapping Regional Forest Evapotranspiration And Photosynthesis By Coupling Satellite Data With Ecosystem Simulation , 1989, 10th Annual International Symposium on Geoscience and Remote Sensing.

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

[29]  James C. Bathurst,et al.  Physically-based distributed modelling of an upland catchment using the Systeme Hydrologique Europeen , 1986 .

[30]  Alan Weiss,et al.  An analysis of rollback-based simulation , 1991, TOMC.

[31]  Bernard P. Zeigler,et al.  Object-oriented simulation with hierarchical, modular models , 1990 .

[32]  Helen Couclelis,et al.  Cellular Worlds: A Framework for Modeling Micro—Macro Dynamics , 1985 .