Building modeling tools that support verification, validation, and testing for the domain expert

Proceedings - Winter Simulation Conference

Volumn 2005, Issue , 2005, Pages 419-426

  Allen, Nicholas A ^a   Shaffer, Clifford A ^a   Watson, Layne T ^a  

^a Virginia Polytechnic Institute and State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

DOMAIN EXPERT; SUPPORT VERIFICATION;

EXPERT SYSTEMS;

EID: 33846698977     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2005.1574277     Document Type: Conference Paper

References (37)

1. Agrawal, A., G. Karsai, and A. Ledeczi. 2003. An end-to-end domain-driven software development framework. In Companion of the 18th Annual ACM SIGPLAN Confer ence on Object Oriented Programming, Systems, Languages, and Applications, 8-15: ACM Press.
2. Allen, N. A., L. Calzone, K. C. Chen, A. Ciliberto, N. Ramakrishnan, C. A. Shaffer, J. C. Sible, J. J. Tyson, M. T. Vass, L. T. Watson, and J. W. Zwolak. 2003A. Modeling regulatory networks at Virginia Tech. OMICS: A Journal of Integrative Biology 7 (3): 285-299.
3. Allen, N. A., C. A. Shaffer, N. Ramakrishnan, M. T. Vass, and L. T. Watson. 2003B. Improving the development process for eukaryotic cell cycle models with a modeling support environment. SIMULATION: Transactions of The Society for Modeling and Simulation International 79 (12): 674-688.
4. Arthur, J. D., and R. E. Nance. 2000. Verification and validation without independence: a recipe for failure. In Proceedings of the 2000 Winter Simulation Conference, ed. J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, 859-865: Society for Computer Simulation International.
5. Balci, O. 1998. Verification, validation, and accreditation. In Proceedings of the 1998 Winter Simulation Conference, ed. D. J. Medeiros, E. F. Watson, J. S. Carson, and M. S. Manivannan, 41-48: IEEE Computer Society Press.
6. Balci, O., and R. E. Nance. 1992. The Simulation Model Development Environment: an overview. In Proceedings of the 1992 Winter Simulation Conference, ed. J. J. Swain, D. Goldsman, R. C. Crain, and J. R. Wilson, 726-736: ACM Press.
7. Balci, O., W. F. Ormsby, J. T. Carr III, and S. D. Saadi. 2000. Planning for verification, validation, and accreditation of modeling and simulation applications. In Proceedings of the 2000 Winter Simulation Conference, ed. J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, 829-839: Society for Computer Simulation International.
8. Balci, O., and R. G. Sargent. 1981. A methodology for costrisk analysis in the statistical validation of simulation models. Communications of the ACM 24 (4): 190-197.
9. Balci, O., C. Ulusarac, P. Shah, and E. A. Fox. 1998. A library of reusable model components for visual simulation of the NCSTRL system. In Proceedings of the 1998 Winter Simulation Conference, ed. D. J. Medeiros, E. F. Watson, J. S. Carson, and M. S. Manivannan, 1451-1460: IEEE Computer Society Press.
10. Balmer, D. W., and R. J. Paul. 1990. Integrated support environments for simulation modelling. In Proceedings of the 1990 Winter Simulation Conference, ed. O. Balci, R. P. Sadowski, and R. E. Nance, 243-249: IEEE Computer Society Press.
11. Birta, L. G., and F. N. Ozmizrak. 1996. A knowledge-based approach for the validation of simulation models: the foundation. ACM Transactions on Modeling and Computer Simulation 6 (1): 76-98.
12. Bishop, J. L., and O. Balci. 1990. General purpose visual simulation system: a functional description. In Proceedings of the 1990 Winter Simulation Conference, ed. O. Balci, R. P. Sadowski, and R. E. Nance, 504-512: IEEE Computer Society Press.
13. Caughlin, D. 2000. An integrated approach to verification, validation, and accreditation of models and simulations. In Proceedings of the 2000 Winter Simulation Conference, ed. J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, 872-881: Society for Computer Simulation International.
14. Conwell, C. L., R. Enright, and M. A. Stutzman. 2000. Capability maturity models support of modeling and simulation verification, validation, and accreditation. In Proceedings of the 2000 Winter Simulation Conference, ed. J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, 819-828: Society for Computer Simulation International.
15. Cuellar, A. A., C. M. Lloyd, P. F. Nielsen, D. P. Bullivant, D. P. Nickerson, and P. J. Hunter. 2003. An overview of CellML 1.1, a biological model description language. SIMULATION: Transactions of The Society for Modeling and Simulation International 79 (12): 740-747.
16. Dahl, O.-J., and K. Nygaard. 1966. SIMULA: an ALGOL-based simulation language. Communications of the ACM 9 (9): 671-678.
17. Delen, D., P. C. Benjamin, and M. Erraguntla. 1998. Integrated modeling and analysis generator environment (IMAGE): a decision support tool. In Proceedings of the 1998 Winter Simulation Conference, ed. D. J. Medeiros, E. F. Watson, J. S. Carson, and M. S. Manivannan, 1401-1408: IEEE Computer Society Press.
18. Ducasse, M., and A.-M. Emde. 1988. A review of automated debugging systems: Knowledge, strategies and techniques. In Proceedings of the 10th International Conference on Software Engineering, 162-171: IEEE Computer Society Press.
19. Frank, M. R., and P. Szekely. 1998. Adaptive forms: an interaction paradigm for entering structured data. In Proceedings of the 3rd International Conference on Intelligent User Interfaces, 153-160: ACM Press.
20. Goel, A., C. Phanouriou, F. A. Kamke, C. J. Ribbens, C. A. Shaffer, and L.T.Watson. 1999. WBCSim: A prototype problem solving environment for wood-based composites simulations. Engineering with Computers 15 (2): 198-210.
21. Hsieh, H., and F. M. Shipman. 2002. Manipulating structured information in a visual workspace. In Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology, 217-226: ACM Press.
22. Hucka, M., A. Finney, H. M. Sauro, H. Bolouri et al. 2003. The Systems Biology Markup Language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19 (4): 524-531.
23. Kienle, H. M. 2001. Using smgn for rapid protoptyping of small domain-specific languages. SIGPLANNotices 36 (9): 64-73.
24. Kujala, S., and M. Kauppinen. 2004. Identifying and selecting users for user-centered design. In Proceedings of the Third Nordic Conference on Human-Computer Interaction, 297-303: ACM Press.
25. Lloyd, C. M., M. D. B. Halstead, and P. F. Nielsen. 2004. CellML: its future, present and past. Progress in Biophysics and Molecular Biology 85 (2-3): 433-450.
26. Nance, R. E., C. M. Overstreet, and E. H. Page. 1999. Redundancy in model specifications for discrete event simulation. ACM Transactions on Modeling and Computer Simulation 9 (3): 254-281.
27. Overstreet, C. M. 2002. Model testing: is it only a special case of software testing? In Proceedings of the 2002 Winter Simulation Conference, ed. E. Yucesan, C.-H. Chen, J. L. Snowdon, and J. M. Charnes, 641-647: IEEE Computer Society Press.
28. Padmanaban, N., P. C. Benjamin, and R. J. Mayer. 1995. Integrating multiple descriptions in simulation model design: a knowledge based approach. In Proceedings of the 1995 Winter Simulation Conference, ed. C. Alexopoulos, K. Kang, W. R. Lilegdon, and D. Goldsman, 714-719: ACM Press.
29. Sanchez, J. N., and P. Langley. 2003. An interactive environment for scientific model construction. In Proceedings of the International Conference on Knowledge Capture, 138-145: ACM Press.
30. Sargent, R. G. 1986. The use of graphical models in model validation. In Proceedings of the 1986 Winter Simulation Conference, ed. J. Wilson, J. Henriksen, and S. Roberts, 237-241: ACM Press.
31. Sargent, R. G. 2004. Validation and verification of simulation models. In Proceedings of the 2004 Winter Simulation Conference, ed. R. G. Ingalls, M. D. Rossetti, J. S. Smith, and B.A. Peters, 17-28: IEEE Computer Society Press.
32. Schank, P., and L. Hamel. 2004. Hiding UML and promoting data examples in NEMo. In Proceedings of the 2004 ACM Conference on Computer Supported Cooperative Work, 574-577: ACM Press.
33. Shu, J., L. T. Watson, N. Ramakrishnan, F. A. Kamke, and B. G. Zombori. 2004. An experiment management component for the WBCSim problem solving environment. Advances in Engineering Software 35 (2): 115-123.
34. Valentin, E. C., and A. Verbraeck. 2002. Guidelines for designing simulation building blocks. In Proceedings of the 2002 Winter Simulation Conference, ed. E. Yucesan, C.-H. Chen, J. L. Snowdon, and J. M. Charnes, 563-571: IEEE Computer Society Press.
35. van Deursen, A., P. Klint, and J. Visser. 2000. Domain-specific languages: an annotated bibliography. SIGPLAN Notices 35 (6): 26-36.
36. Watson, L. T., V. K. Lohani, D. F. Kibler, R. L. Dymond, N. Ramakrishnan, and C. A. Shaffer. 2002. Integrated computing environments for watershed management. Journal of Computing in Civil Engineering 16 (4): 259-268.
37. Wonnacott, P., and D. Bruce. 1996. The APOSTLE simulation language: Granularity control and performance data. In Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 114-123: IEEE Computer Society Press.