JDEVS: an implementation of a DEVS based formal framework for environmental modelling

The development of models using multiple modelling paradigms is necessary to formulate and study current problems in environmental science. To simplify the coupling of those models, a formal basis for a high-level specification of such models must be set up. In this paper, we propose a discrete event system specification (DEVS) based modelling framework as a formal basis in environmental modelling. The formal framework ensures that the models are reusable and interoperable components with well defined interfaces. Moreover, a wide variety of modelling paradigms can be expressed in the DEVS formalism. We also extend the modelling paradigms that can be expressed in the DEVS framework with two techniques: Feedback-DEVS for the specification of supervised-learning models and Vector-DEVS for the specification of models in vector space. JDEVS is the Java implementation of the framework. It enables discrete event, general purpose, object oriented, component based, GIS connected, collaborative, visual simulation model development and execution. A Feedback-DEVS neural-network model and a cellular infiltration model are described as experiments using JDEVS. Those models are later coupled to show the new modelling scenarios enabled by the use of a formal framework and the flexibility of the software.

[1]  Fernando J. Barros,et al.  The dynamic structure discrete event system specification formalism , 1996 .

[2]  Sumit Ghosh,et al.  GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems , 2000, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[3]  Jean-François Santucci,et al.  BEHAVIORAL FAULT SIMULATION , 1998 .

[4]  Walter Geisselhardt,et al.  Advanced Techniques for Embedded Systems Design and Test , 1998, Springer US.

[5]  Thomas Maxwell,et al.  A paris-model approach to modular simulation , 1999, Environ. Model. Softw..

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

[7]  Andrew Fall,et al.  A domain-specific language for models of landscape dynamics , 2001 .

[8]  Gabriel A. Wainer,et al.  Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation , 2001, Simul..

[9]  Fernando J. Barros Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, WSC '95.

[10]  Adelinde M. Uhrmacher,et al.  Planning agents in JAMES , 2001 .

[11]  David R.C. Hill,et al.  Modélisation et Simulation des Ecosystèmes , 1997 .

[12]  Jean François Santucci,et al.  Model design using hierarchical web-based libraries , 2002, DAC '02.

[13]  S. Lek,et al.  Predicting stream nitrogen concentration from watershed features using neural networks , 1999 .

[14]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[15]  Jean-Baptiste Filippi,et al.  Enabling large scale and high definition simulation of natural systems with vector models and JDEVS , 2002, Proceedings of the Winter Simulation Conference.

[16]  Hassan A. Karimi,et al.  Coupling methodologies for environmental models , 2000, Environ. Model. Softw..

[17]  B. P. Zeigler,et al.  DEVS approximation of infiltration using genetic algorithm optimization of a fuzzy system , 1996 .

[18]  Andrea Emilio Rizzoli,et al.  A framework for modelling multiple resource management issues - an open modelling approach , 1999, Environ. Model. Softw..

[19]  A. K. BREGT,et al.  Determination of rasterizing error a case study with the soil map of The Netherlands , 1991, Int. J. Geogr. Inf. Sci..

[20]  Cristopher Moore Majority-Vote Cellular Automata, Ising Dynamics, and P-Completeness , 1997 .

[21]  Ferdinando Villa,et al.  Integrating modelling architecture: a declarative framework for multi-paradigm, multi-scale ecological modelling , 2001 .

[22]  Jean Baptiste Filippi,et al.  NEURO-DEVS, AN HYBRID METHODOLOGY TO DESCRIBE COMPLEX SYSTEMS , 2001 .

[23]  Thomas Maxwell,et al.  An Open Geographic Modeling Environment , 1997, Simul..

[24]  Dennis P. Swaney,et al.  Using the ECLPSS software environment to build a spatially explicit component-based model of ozone effects on forest ecosystems , 2002 .

[25]  Elliotte Rusty Harold,et al.  XML in a Nutshell , 2001 .