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.
VangheluweHLM. DEVS as a common denominator for multi-formalism hybrid systems modelling. In: IEEE international symposium on computer-aided control system design, 2000. pp.129–134.
2.
ZeiglerBPPraehoferHKimTG. Theory of modeling and simulation. Orlando, FL: Academic Press, 2000.
IghorojeUBMaïgaOTraoréMK. The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. In: proceedings of the 2012 symposium on theory of modeling and simulation, 2012.
5.
SongHSKimTG. DEVS diagram revised: a structured approach for DEVS modeling. In: proceedings of EUROSIS 2010, Ostend, Belgium, 2010.
6.
KidisyukKWainerGA. CD++Modeler: a graphical toolkit to develop DEVS models. In: proceedings of the 2008 spring simulation multiconference; San Diego, CA, http://dl.acm.org/citation.cfm?id=1400696 (2008, accessed 1 October 2012).
7.
BonaventuraMWainerGACastroR. Advanced IDE for modeling and simulation of discrete event systems. In: proceedings of the 2010 spring simulation multiconference, San Diego, CA, 2010.
8.
WainerGLiuQ. Tools for Graphical specification and visualization of DEVS models. Simulation2009; 81: 131–158.
SarjoughianHSSarkarSMayerGRA novel visual CA modeling approach and its realization in CoSMoS. In: proceedings of the 2010 spring simulation multiconference, San Diego, CA, 2010.
11.
VillalbaCMUrquiaAMoallemiM. DEVS-GRAPH in Modelica for real-time simulation. In: proceedings of European conference on modeling and simulation (ECMS), http://cell-devs.sce.carleton.ca/publications/2012/VUMW12 (2012, accessed 1 October 2012).
12.
ZeiglerBPSongHSKimTG. DEVS framework for modelling, simulation, analysis, and design of hybrid systems. In: hybrid systems’94, 1994.
13.
WainerGAAl-ZoubiKDalleO. DEVS standardization: foundations and trends. In: WainerGA (ed.) Discrete event simulation and modeling: theory and applications, 2010.
14.
IghorojeUBMaïgaOTraoréMK. The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. In: proceedings of springsim 2012, Orlando, Florida, 2012.
15.
SarjoughianHSChenY. Standardizing DEVS models: an endogenous standpoint. In: proceedings of the 2011 symposium on theory of modeling & simulation: DEVS integrative M&S symposium, 2011.
ITU-T. Testing test control notation version 3: TTCN-3 core language. ITU-T Z-series recommendations. International Telecommunication Union ITU-T Z.161, Available from: http://www.itu.int/ITU-T/recommendations/rec.aspx?id=12346&lang=en (2013, accessed 18 February 2015).
24.
Risco-MartínJLCruzJMdlMittalS. eUDEVS: executable UML with DEVS theory of modeling and simulation. Simulation2009; 85: 29.
25.
KaposGDNikolaidouMDalakasV. An integrated framework to simulate SysML models using DEVS simulators. In: FonsecaiCasasP (ed.) Formal languages for computer simulation: transdisciplinary models and applications. Hershey, PA: IGI Global, 2013, pp.305–332.
26.
ReedR. SDL-2000 form new millenium systems. Telektronikk2000; 4: 20–35.
27.
SandersR. Implementing from SDL. Telektronikk2000; 120–129.
ZeiglerBPKimTGPraehoferH. DEVS formalism as a framework for advanced distributed simulation. In: first international workshop on distributed interactive simulation and real time applications (in conjunction with the international symposium on modeling, analysis and simulation of computer and telecommunication systems (MASCOTS’97), Eilat, Israel, 1997.
31.
ZeiglerBPVahieS. EVS formalism and methodology: unity of conception/diversity of application. In: Winter simulation conference, Los Angeles, California, 1993, pp.573–579.
32.
FonsecaiCasasP. Formal languages for computer simulation: transdisciplinary models and applications. Hershey, PA: IGI Global, 2013.
33.
Fonseca i CasasP. Towards an automatic transformation from a DEVS to a SDL specification. In: procediings of the 2009 summer simulation multiconference, Istanbul, Turkey, 2009.
34.
Risco-MartínJLMittalSLópez-PeñaMA. A W3C XML schema for DEVS scenarios. In: spring simulation multiconference 2007, Norfork, Virginia, 2007, pp.279–286.
