Transforming SDL Diagrams in a DEVS Specification

P. Fonseca i Casas (Spain)


DEVS, SDL, simulation, formal representation.


Simulation models formal representation allows a better system understanding, and defines a common framework between modelers and developers in a simulation project. Usually developers involved in a new simulation model construction belongs to different areas, hence graphical specification formalisms simplifies the understanding by the team. SDL language (Specification and Description Language) was designed to describe complex, event-driven, real time, and communicating systems. SDL uses a graphical representation to describe system behavior. DEVS is one of the most extended and powerful formalisms to represent any kind of DES (Discrete Event Systems). The fact that a possible transformation method can be developed between the some formalisms and DEVS is described in the literature (Zeigler and Vahie 1993). DEVS is developed over system theory, being a general formalism in witch all the other formalisms can be transformed. Thanks the transformation from DEVS to SDL, and vice versa, all DEVS power can be used, also with the possibility of represent graphically the models, making these models more understandable for publics that maybe are not used with the mathematical language, for instance biologists sociologists o psychologist, scientists that more and more, take active part in the developing of simulation models. In this paper a process to transform SDL models to DEVS models is presented. This process allows the definition of simulation models in DEVS or SDL and helps in the construction of a more structured SDL model, thanks the transformation of the obtained DEVS model to an equivalent SDL model that follows some inherent DEVS rules.

Important Links:

Go Back