Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
International Telecommunication Union: Recommendation Z.100 (12/11) Specification and Description Language – Overview of SDL-2010, http://www.itu.int/rec/T-REC-Z.100
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), http://doi.acm.org/10.1145/256563.256617
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)
Gordon, G.: The Development of the General Purpose Simulation System (GPSS). ACM SIGPLAN Notices 13(80), 183–198 (1978), http://portal.acm.org/citation.cfm?doid=960118.808382
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)
Pritsker, A.: Introduction to simulation and SLAM II. Halsted Press (1986)
CACI: Simprocess, http://simprocess.com/
Rockwell Automation: Arena Simulation Software, http://www.arenasimulation.com/
Simio LLC: Simio forward thinking, http://www.simio.com/index.html
Simul8 Corporation: Simul8, http://www.simul8.com/
Guasch, A., Piera, M., Casanovas, J., Figueras, J.: Modelado y simulación. Edicions UPC (2002)
Law, A., Kelton, W.: Simulation Modeling and Analysis. McGraw-Hill (2000)
Lanner: Witness, http://www.lanner.com/en/witness.cfm
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)
Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)
Petri, C.: Kommunikation mit Automaten. University of Bonn, Bonn (1962)
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)
Wainer, G.: DEVS tools, http://www.sce.carleton.ca/faculty/wainer/standard/tools.html
University of Hamburg: Petri Nets Tool Database, http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/complete_db.html
Wainer, G.: CD++: a toolkit to develop DEVS models. Software, Practice and Experience 32(3), 1261–1306 (2002)
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)
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)
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)
Cinderella ApS: Cinderella SDL 1.3, http://www.cinderella.dk
IBM: Rational SDL Suite, http://www-947.ibm.com/support/entry/portal/overview/software/rational/rational_sdl_suite
Specification & Description Language - Real-Time (2006), http://www.sdl-rt.org/
Fonseca i Casas, P.: SDL distributed simulator (poster) In: Proceedings of the 40th Conference on Winter Simulation (WSC 2008). Winter Simulation Conference (2008), http://www-eio.upc.edu/~pau/?q=node/67
Bozga, M., Graf, S., Mounier, L., Kerbrat, A., Ober, I., Vincent, D.: SDL for Real-Time: What Is Missing? Interval project publication, http://www-interval.imag.fr/Pub/sam2k.ps
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)
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)
SanDriLa Ltd.: www.sandrila.co.uk/visio-sdl/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fonseca i Casas, P., Pi, X., Casanovas, J., Jové, J. (2013). Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)