An analysis of the cost of validating semantic composability

Journal of Simulation

Volumn 6, Issue 3, 2012, Pages 152-163

  Szabo, C ^a   Teo, Y M ^b  

^a UNIVERSITY OF ADELAIDE   (Australia)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

composability; cost; validation

Indexed keywords

COSTS; ECONOMIC AND SOCIAL EFFECTS; QUEUEING THEORY; SEMANTICS;

COMPONENT BASED; COMPOSABILITY; COMPUTATION TIME; FORMAL VALIDATION; NON TRIVIAL PROBLEMS; QUANTITATIVE STUDY; VALIDATION; VALIDATION APPROACH;

COST BENEFIT ANALYSIS;

EID: 84863943685     PISSN: 17477778     EISSN: 17477786     Source Type: Journal    
DOI: 10.1057/jos.2012.11     Document Type: Article

References (40)

1. Balci O (1997). Verification, validation and accreditation of simulation models. In: Andradottir S, Healy KJ, Withers DH and Nelson BL (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 135-141.
2. Balci O and Sargent RG (1981). A methodology for cost-risk analysis in the statistical validation of simulation models. Communications of the ACM 24(4): 190-197.
3. Balci O and Sargent RG (1982). Some examples of simulation model validation using hypothesis testing. In: Chao YW, Madrigal O and Highland HJ (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 621-629. (Pubitemid 13548928)
4. Banks J, Carson JS, Nelson BL and Nicol DM (2005). Discrete Event System Simulation. Prentice-Hall: USA.
5. Bartholet RG, Brogan BC, Reynolds PP and Carnahan JC (2004). In search of the philosopher's stone: Simulation composability versus component-based software design. In: Smith J, Peters B, Ingalls RG and Rossetti MD (eds). Proceedings of the Fall Simulation Interoperability Workshop, (PCE) Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA.
6. Ben-Ari M (2008). Principles of the Spin Model Checker, Springer Verlag: Berlin.
7. Choco Constraint Programming System. http://sourceforge.net/projects/ choco/, accessed January 2010.
8. Cowie J (1999). Towards realistic million-node internet simulations. In: Arabnia HR (ed). Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications, CSREA Press: Las Vegas, USA, pp 2129-2135.
9. Dalle O (2006). OSA: An open component-based architecture for discrete-event simulation. In: Burotzky W (ed). Proceedings of the 20th European Conference on Modeling and Simulation, Society of Modeling and Simulation Europe: Leipzig, Germany.
10. Davis PK and Anderson RH (2003). Improving the composability of Department of Defense models and simulations.
11. Defense Modeling and Simulation Office (DMSO) (1996). Verification, validation, and accreditation recommended practices guide. U.S. Department of Defense. Office of the Director of Defense Research and Engineering.
12. Department of the Navy (2004). Modeling and Simulation Verification, Validation, and Accreditation Implementation Handbook. Department of the Navy, http://nmso.navy.mil/NMSODigital Library.aspx?Command=Core-Download&EntryId= 3988.
13. Duke R, King P and Rose G (1991). The Object-Z Specification Language: Version 1. Technical Report, http://www.dc.uba.ar/people/materias/isoft1/papers/ tr91-1.pdf.
14. Garavel H, Lang F, Mateescu R and Serwe W (2007). CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Werner D and Holger H (eds). Proceedings of the 19th International Conference on Computer Aided Verification, Springer Verlag: Bonn, Germany, pp 158-163.
15. Gore R and Reynolds PP (2008). Applying causal inference to understand emergent behavior. In: Mason SJ, Hill R, Moench L and Rose O (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 712-721.
16. Gustavson P and Root L (1999). Object model use cases: A mechanism for capturing requirements and supporting BOM reuse. In: Hieb M and Blalock J (eds). Spring Simulation Interoperability Workshop, Simulation Interoperability Standards Organization: Orlando, USA.
17. Kasputis S and Ng HC (2000). Composable simulations. In: Joines JA and Barton RlR (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 1577-1584. (Pubitemid 32869819)
18. Kennedy KE (2003). Formal methods in the verification and validation of simulation models. In: Mason SJ and Hill R (eds). Proceedings of the Spring Simulation Interoperability Workshop, Simulation Interoperability Standards Organization: Orlando, USA.
19. Knuth DE (1997). The Art of Computer Programming, Volume 3: Sorting and Searching. Addison-Wesley: Reading, MA.
20. Love G and Back G (2000). Model verification and validation for rapidly developed simulation models: Balancing cost and theory. In: Davidsen PI, Ford DN and Mashayekhi, AN (eds). Proceedings of the 18th International Conference of the System Dynamics Society, Bergen, Norway.
21. Moradi F et al (2007). A rule-based approach to syntactic and semantic composition of BOMs. In: Roberts DJ, Theodoropoulos GK and Saddik AEl (eds). Proceedings of the 11th IEEE Symposium on Distributed Simulation and Real-Time Applications, Systems Dynamics Society, IEEE Computer Society: Crete, Greece, pp 145-155.
22. Pace DK (2004). Modeling and simulation verification and validation challenges. Johns Hopkins APL Technical Digest 25(3): 163-172. (Pubitemid 40454636)
23. Petty MD and Weisel EW (2003a). A composability lexicon. In: Mason SJ and Hill R (eds). Proceedings of the Spring Simulation Interoperability Workshop, Simulation Interoperability Standards Organization: Orlando, USA, pp 181-187.
24. Petty MD and Weisel EW (2003b). Basis for a theory of semantic composability. In: Mason SJ and Hill R (eds). Proceedings of the Spring Simulation Interoperability Workshop, Simulation Interoperability Standards Organization: Orlando, USA.
25. Petty MD, Weisel EW and Mielke R (2005). Composability theory overview and update. In: Hill R and Rose O (eds). Proceedings of the Spring Simulation Interoperability Workshop, Simulation Interoperability Standards Organization: Orlando, USA.
26. Saaltink M (1997). The Z/EVES system. Lecture Notes in Computer Science 1212(1): 72-85.
27. Sargent R (2000). Verification, validation, and accreditation of simulation models. In: Joines JA and Barton RlR (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 50-59. (Pubitemid 32869745)
28. Sargent RG (1979). Validation of simulation models. In: Highland HJ, Spiegel MG and Shannon R (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 497-503.
29. Smith G (2000). The Object-Z Specification Language. Kluwer Academic Publishers: Dordrecht, MA.
30. Smith G, Kamm?ller F and Santen T (2002). Encoding object-z in Isabelle/HOL. In: Bert D, Bowen JP, Henson MC and Robinson K (eds). Proceedings of the International Conference of B and Z Users, Springer Verlag: London, UK, pp 82-89.
31. Srba J (2001). On the power of labels in transition systems. In: Larsen KG and Nielsen M (eds). Proceedings of the 12th International Conference on Concurrency Theory, Springer Verlag: Aalborg, Denmark, pp 277-291. (Pubitemid 33326662)
32. Szabo C and Teo YM (2009). An approach for validation of semantic composability in simulation models. In: Hill R and Moench L (eds). Proceedings of the 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, IEEE Computer Society: New York, USA, pp 3-10.
33. Szabo C, Teo YM and See S (2009). A time-based formalism for the validation of semantic composability. In: Rossetti M, Hill R, Johansson B and Dunkin A et al (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 1411-1422.
34. Teo YM and Szabo C (2008). CODES: An integrated approach to composable modeling and simulation. In: Roberts DJ and Karatza H (eds). Proceedings of the 41st Annual Simulation Symposium, IEEE Computer Society: Ottawa, Canada, pp 103-110.
35. Tolk A (2006). What comes after the semantic web-PADS implications for the dynamic web. In: Turner S and Riley G (eds). Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, IEEE Computer Society: Singapore, pp 55-62. (Pubitemid 44815846)
36. Tolk A, Diallo SY and Turnitsa CD (2008). Mathematical models towards self-organizing formal federation languages based on conceptual models of information exchange capabilities. In: Mason SJ, Hill R, Moench L and Rose O (eds). Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscataway, New Jersey, USA, pp 966-974.
37. Traore MK (2006). Analyzing static and temporal properties of simulation models. In: Lawson B, Liu J, Perrone F and Wieland F et al (eds). Proceedings of the Winter Simulation Conference, Institute of Electrical and Electronics Engineers Inc.: Piscat-away, New Jersey, USA, pp 897-904.
38. Trojet MW, Frydman C and Hamri ME-A (2009). Practical application of lightweight Z in DEVS framework. In: Spiegel MG and Shannon R (eds). Proceedings of the Spring Simulation Multiconference, Simulation Interoperability Standards Organization: Orlando, USA.
39. Wainer G, Morihama L and Passuello V (2002). Automatic verification of DEVS Models. In: Liu J and Hill R (eds). Proceedings of the SISO Spring Interoperability Workshop, Simulation Interoperability Standards Organization: Orlando, USA.
40. Zeigler BP, Praehofer H and Kim TG (2000). Theory of Modeling and Simulation. Academic Press: New York.