Towards a representation of environmenal models using specification and description language: from the fibonacci model to a wildfire model

In this paper we explore how we can use Specification and Description Language (SDL) to represent environmental models. Since the main concern in this kind of models is the representation of the geographical information data, we analyze how we can represent this information in the SDL diagrams. We base our approach using two examples, a representation of the Fibonacci function using a cellular automaton, and the representation of a wildfire model. To achieve this we propose the use of a language extension to Specification and Description Language. This allows the simplification of the representation of cellular automatons. Thanks this we can define the behavior of environmental models in a graphical way allowing its complete and unambiguous description. SDL is a modern object oriented formalism that allows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven systems, and has been standardized by the International Telecommunications Union (ITU) in the Z.100.Postprint (published version

Using Specification and Description Language to define and implement discrete simulation models

The formal languages become important tools since they allow the complete understanding of the model and help in its implementation. However only a few simulation tools allow an automatic execution of a simulation model based in a formalization of the system. Specification and Description Language is a modern object oriented graphical formal language that allows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven systems, and has been standardized by the International Telecommunications Union (ITU) in the Z.100. Since it is a graphical formalism simplifies the understanding of the model. In this paper we show how we can use Specification and Description Language to represent a discrete simulation model. We propose a solution, implemented in SDLPS, regarding how to manage the time in Specification and Description Language. Also, we show how SDLPS infrastructure allows a distribute simulation of the models.Postprint (published version

A Framework for Remote Execution and Visualization of Cell-DEVS Models

Simulation is becoming increasingly important in the analysis and design of complex systems with natural and artificial components. CD++ is a modeling and simulation tool that was created to study this kind of systems by using a discrete-event cell-based approach. It was successfully employed to define a variety of models for complex applications using a cell-based approach. Here, we present different extensions done to the tool using a client/server architecture. Users can create models in local workstations, execute them in a remote high performance simulation engine, then receive, visualize and analyze the results locally with easy-to-use 2D and 3D interfaces. The 3D interface was built using VRML in order to facilitate web-based visualization. The tool now enables running several models simultaneously, and it supports multi-view outputs. Keywords: DEVS, Cell-DEVS, distributed simulation, simulation visualization, virtual reality. 1