START Conference Manager    

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

Pau Fonseca i Casas

The 2010 Summer Computer Simulation Conference (SCSC 10)
Ottawa, Canada, July 11-14, 2010


Summary

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 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 to how manage the time in Specification and Description Language. Also, we show how SDLPS infrastructure allows a distribute simulation of the models.


START Conference Manager (V2.56.8 - Rev. 1182)