Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams

  • Pau Fonseca i Casas
  • Xavier Pi
  • Josep Casanovas
  • Jordi Jové
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7916)


A full representation of a simulation model encompasses the behavior of the elements that define the model, the definition of the probability distributions that define the delays of the events that control the model, the experimental framework needed for execution, and the graphical representation of certain model elements. This paper aims to use specification and description language to achieve a full model representation by adding two extensions to the language, which allows for a complete and unambiguous definition of a discrete simulation model that is similar to a common discrete operations research simulation tool.


Formal Languages Specification and Description Language SDL Operations Research Discrete Simulation Virtual Reality 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    International Telecommunication Union: Recommendation Z.100 (12/11) Specification and Description Language – Overview of SDL-2010,
  2. 2.
    Earle, N., Henriksen, J.: Proof Animation – Better Animation For Your Simulation. In: Proceedings of the 25th Conference on Winter Simulation (WSC 1993), pp. 172–178. ACM (1993),
  3. 3.
    Brade, D.: Enhancing modeling and simulation accreditation by structuring verification and validation results. In: Proceedings of the 32nd Conference on Winter Simulation (WSC 2000), pp. 840–848. Society for Computer Simulation International (2000)Google Scholar
  4. 4.
    Gordon, G.: The Development of the General Purpose Simulation System (GPSS). ACM SIGPLAN Notices 13(80), 183–198 (1978), CrossRefGoogle Scholar
  5. 5.
    Fonseca i Casas, P., Casanovas, J.: JGPSS, an Open Source GPSS Framework to Teach Simulation. In: Winter Simulation Conference (WSC 2009), pp. 256–267. Winter Simulation Conference (2009)Google Scholar
  6. 6.
    Pritsker, A.: Introduction to simulation and SLAM II. Halsted Press (1986)Google Scholar
  7. 7.
    CACI: Simprocess,
  8. 8.
    Rockwell Automation: Arena Simulation Software,
  9. 9.
    Simio LLC: Simio forward thinking,
  10. 10.
    Simul8 Corporation: Simul8,
  11. 11.
    Guasch, A., Piera, M., Casanovas, J., Figueras, J.: Modelado y simulación. Edicions UPC (2002)Google Scholar
  12. 12.
    Law, A., Kelton, W.: Simulation Modeling and Analysis. McGraw-Hill (2000)Google Scholar
  13. 13.
  14. 14.
    Zeigler, B.P., Kim, D., Praehofer, H.: DEVS formalism as a framework for advanced distributed simulation. In: Proceedings of the 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT 1997), pp. 15–21. IEEE Computer Society (1997)Google Scholar
  15. 15.
    Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)Google Scholar
  16. 16.
    Petri, C.: Kommunikation mit Automaten. University of Bonn, Bonn (1962)Google Scholar
  17. 17.
    Liu, R., Kumar, A., van der Aalst, W.: A formal modeling approach for supply chain event management. Decision Support Systems 43(3), 761–778 (2007)CrossRefGoogle Scholar
  18. 18.
  19. 19.
    University of Hamburg: Petri Nets Tool Database,
  20. 20.
    Wainer, G.: CD++: a toolkit to develop DEVS models. Software, Practice and Experience 32(3), 1261–1306 (2002)zbMATHCrossRefGoogle Scholar
  21. 21.
    Zeigler, B.P., Sarjoughian, H.S.: Creating Distributed Simulation Using Devs M&S Environments. In: Proceedings of the 32nd conference on Winter simulation (WSC 2000), pp. 158–160. Society for Computer Simulation International (2000)Google Scholar
  22. 22.
    Risco-Martín, J.L., Mittal, S., López-Peña, M.A., De la Cruz, J.M.: A W3C XML Schema for DEVS Scenarios. In: Proceedings of the 2007 Spring Simulation Multiconference (SpringSim 2007), vol. 2, pp. 279–286. Society for Computer Simulation International (2007)Google Scholar
  23. 23.
    Fonseca i Casas, P., Casanovas, J.: Towards a SDL-DEVS Simulator. In: The Third International Conference on Advances in System Simulation (SIMUL 2011), pp.188–194. International Academy, Research and Industry Association (2011)Google Scholar
  24. 24.
    Cinderella ApS: Cinderella SDL 1.3,
  25. 25.
  26. 26.
    Specification & Description Language - Real-Time (2006),
  27. 27.
    Fonseca i Casas, P.: SDL distributed simulator (poster) In: Proceedings of the 40th Conference on Winter Simulation (WSC 2008). Winter Simulation Conference (2008),
  28. 28.
    Bozga, M., Graf, S., Mounier, L., Kerbrat, A., Ober, I., Vincent, D.: SDL for Real-Time: What Is Missing? Interval project publication,
  29. 29.
    Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed Extensions for SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 223–240. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  30. 30.
    Sargent, R.G.: Verification and validation of simulation models. In: Proceedings of the 39th Conference on Winter Simulation (WSC 2007), pp.124–137. Winter Simulation Conference (2008)Google Scholar
  31. 31.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Pau Fonseca i Casas
    • 1
  • Xavier Pi
    • 2
  • Josep Casanovas
    • 1
  • Jordi Jové
    • 3
  1. 1.Universitat Politècnica de Catalunya, Barcelona-TechBarcelonaSpain
  2. 2.Sinetric systemsBarcelonaSpain
  3. 3.Arbora-AusoniaBarcelonaSpain

Personalised recommendations