References
- Balci O (1997). Verification, validation and accreditation of simulation models. In: Andradóttir 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.
- BalciOSargentRGA methodology for cost-risk analysis in the statistical validation of simulation modelsCommunications of the ACM198124419019710.1145/358598.358609
- 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.
- BanksJCarsonJSNelsonBLNicolDMDiscrete Event System Simulation2005
- 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.
- Ben-AriMPrinciples of the Spin Model Checker2008
- Choco Constraint Programming System. http://sourceforge.net/projects/choco/, accessed January 2010.
- 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.
- 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.
- Davis PK and Anderson RH (2003). Improving the composability of Department of Defense models and simulations.
- 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.
- Department of the Navy (2004). Modeling and Simulation Verification, Validation, and Accreditation Implementation Handbook. Department of the Navy, http://nmso.navy.mil/NMSODigitalLibrary.aspx?Command=Core_Download&EntryId=3988.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- KnuthDEThe Art of Computer Programming, Volume 3: Sorting and Searching1997
- 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.
- 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.
- PaceDKModeling and simulation verification and validation challengesJohns Hopkins APL Technical Digest2004253163172
- 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.
- 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.
- 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.
- SaaltinkMThe Z/EVES systemLecture Notes in Computer Science199712121728510.1007/BFb0027284
- 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.
- 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.
- SmithGThe Object-Z Specification Language2000
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.: Piscataway, New Jersey, USA, pp 897–904.
- 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.
- 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.
- ZeiglerBPPraehoferHKimTGTheory of Modeling and Simulation2000
![Supercharge Your Next Research Paper: Research and write your next paper with Jenni AI.]({"type":"image" , "src" : "/sda/112445/Skyscraper-econ.png"})