Definition of virtual reality simulation models using specification and description language diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7916 LNCS, Issue , 2013, Pages 258-274

  Fonseca I Casas, Pau ^a   Pi, Xavier ^b   Casanovas, Josep ^a   Jové, Jordi ^c  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b Sinetric Systems   (Spain)

^c Arbora Ausonia   (Spain)

Author keywords

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

Indexed keywords

DISCRETE SIMULATION MODEL; DISCRETE SIMULATIONS; GRAPHICAL REPRESENTATIONS; MODEL ELEMENTS; SDL; SIMULATION MODEL; SPECIFICATION AND DESCRIPTION LANGUAGES; VIRTUAL REALITY SIMULATIONS;

FORMAL LANGUAGES; OPERATIONS RESEARCH; PROBABILITY DISTRIBUTIONS; SPECIFICATIONS; VIRTUAL REALITY;

COMPUTER SIMULATION LANGUAGES;

EID: 84885728336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38911-5_15     Document Type: Conference Paper

References (31)

1. 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
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), http://doi.acm.org/10.1145/256563.256617
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)
4. 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
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)
6. Pritsker, A.: Introduction to simulation and SLAM II. Halsted Press (1986)
7. CACI: Simprocess, http://simprocess.com/
8. Rockwell Automation: Arena Simulation Software, http://www. arenasimulation.com/
9. Simio LLC: Simio forward thinking, http://www.simio.com/index.html
10. Simul8 Corporation: Simul8, http://www.simul8.com/
11. Guasch, A., Piera, M., Casanovas, J., Figueras, J.: Modelado y simulación. Edicions UPC (2002)
12. Law, A., Kelton, W.: Simulation Modeling and Analysis. McGraw-Hill (2000)
13. Lanner: Witness, http://www.lanner.com/en/witness.cfm
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)
15. Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)
16. Petri, C.: Kommunikation mit Automaten. University of Bonn, Bonn (1962)
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)
18. Wainer, G.: DEVS tools, http://www.sce.carleton.ca/faculty/wainer/ standard/tools.html
19. University of Hamburg: Petri Nets Tool Database, http://www.informatik. uni-hamburg.de/TGI/PetriNets/tools/complete db.html
20. Wainer, G.: CD++: a toolkit to develop DEVS models. Software, Practice and Experience 32(3), 1261-1306 (2002)
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)
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)
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)
24. Cinderella ApS: Cinderella SDL 1.3, http://www.cinderella.dk
25. IBM: Rational SDL Suite, http://www-947.ibm.com/support/entry/portal/ overview/software/rational/rational-sdl-suite
26. Specification & Description Language - Real-Time (2006), http://www.sdl-rt.org/
27. 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
28. 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
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)
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)
31. SanDriLa Ltd.: www.sandrila.co.uk/visio-sdl/