Discrete-event simulation
Proceedings of the 32nd conference on Winter simulation
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Parallel simulation: parallel and distributed simulation systems
Proceedings of the 33nd conference on Winter simulation
CD++: a toolkit to develop DEVS models
Software—Practice & Experience
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Verification and validation of simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
CoSMoS: a visual environment for component-based modeling, experimental design, and simulation
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Formal simulation model to optimize building sustainability
Advances in Engineering Software
Hi-index | 0.00 |
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.