Transforming classic discrete event system specification models to specification and description language
Cita com:
hdl:2117/80899
Tipus de documentArticle
Data publicació2015-03-01
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
Discrete Event System Specification (DEVS) is one of the main widely used formal languages to represent simulation models, while Specification and Description Language (SDL) is a graphical ITU-T standard language, commonly used in telecommunication and engineering areas. In this paper, we present an algorithm, and a simulation infrastructure that implements this algorithm, to transform a simulation model represented using the DEVS formalism to the SDL standard language. The algorithm can be viewed as a mechanism to represent graphically DEVS models. In addition, because of the transformation, one can use SDL tools in order to implement DEVS models. To implement the algorithm, we propose an Extensible Markup Language representation for the DEVS and SDL models. For practical application of the algorithm, it is implemented in a simulation infrastructure named the Specification and Description Language Parallel Simulator that allows defining the models with both formalisms.
CitacióFonseca, P. Transforming classic discrete event system specification models to specification and description language. "Simulation. Transactions of the Society for Modeling and Simulation International", 01 Març 2015, vol. 91, núm. 3, p. 249-264.
ISSN0037-5497
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
proof_SIM571623.pdf | 4,480Mb | Visualitza/Obre | ||
proof_SIM571623.pdf | 4,480Mb | Visualitza/Obre |