Conference

Abstract: This work addresses the problem of performing a formal modelling of the processes related to the surgical pavilions and an anaesthesia unit on a Chilean hospital. To perform this modelling we used Specification and Description Language (SDL). The model was very successful in order to document and to understand the tacit knowledge of the unit and facilitates the simulation.

Defining a simulation model implies the use of different knowledge of the system we are going to model. Often, this knowledge is not complete or lacks in the needed detail in order to fully explain the behavior and the structure of the system. In that case, different hypotheses must be used in order to constrain the reality, or allow the needed complete and unambiguous definition of the model. However, all the hypotheses used do not lie in the same category.

In this paper, we present the first version of a simulator that allows executing models defined using Discrete Event System Specification and models defined using Specification and Description Language. Specification and Description Language (SDL) is a graphical language, standardized under the ITU Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. Discrete Event System Specification (DEVS) is a formalism widely used on the simulation field to represent Discrete Event Systems.

Omnet++ is a powerful and open-source simulation tool which is basically intended to model discrete-event systems. In particular, Omnet++ is extensively used to model and simulate computer networks. Typically, when a Wide Area Network needs to be modeled, different assumptions are made in order to simplify the complexity associated with human behavior. Nevertheless, human behavior can also be modeled, at least to some extent, by using Multi Agent Systems (MAS).

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.

Abstract: In this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-CA^k. Also we add some extension to SDL language to simplify the representation of these automata. Thanks to SDL and m:n-CA^k the behavior of the cellular automata model can be defined in a graphical way allowing the complete and unambiguous description of the simulation model that uses it.

Formal languages become important tools since allows the complete understanding of the model and helps in its implementation. However only 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

SDL is a graphical language, standardized under the Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. In this paper we have three objectives, first present an algorithm that allows the transformation of a DEVS specification to an SDL specification. Second we present a XML representation for the SDL language; this XML representation can help in an automatic transformation of the SDL model representation to a DEVS model representation.

Abstract: