Transforming classic Discrete Event System Specification models to Specification and Description Language. (March 2015)

• Record Type: Journal Article
• Authors: Fonseca i Casas, Pau
• Is Part Of: Simulation. Volume 91:Number 3(2015:Mar.)
• Page Start: 249
• Page End: 264
• Publication Date: 2015-03
• Subjects: Discrete Event System Specification -- Specification and Description Language -- simulation -- formal language; Computer simulation -- Periodicals; 003.3
• DOI: 10.1177/0037549715571623
• Languages: English
• ISSNs: 0037-5497

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.