Ideas about simulation conceptual model development

Johns Hopkins APL Technical Digest (Applied Physics Laboratory)

Volumn 21, Issue 3, 2000, Pages 327-336

  Pace, Dale K ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED MANUFACTURING; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; SOFTWARE ENGINEERING;

CONCEPTUAL MODEL; HIGH LEVEL ARCHITECTURE; INTEGRATED COMPUTER AIDED MANUFACTURING DEFINITION MODELS;

COMPUTER SIMULATION;

EID: 0034226040     PISSN: 02705214     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (39)

1. Cook, D., "Evolution of Programming Languages and Why a Language Is Not Enough To Solve Our Problems," CrossTalk: J. Def. Software Eng. 12(12), 7 12 (Dec 1999).
2. Pace, D. K., "Development and Documentation of a Simulation Conceptual Model," in Proc. 99 Fall Simulation Interoperability Workshop (Sep 1999), available at http://www.sisostds.org/siw/ (accessed 28 Feb 2000).
3. Recommended Practices Guide for Verification, Validation, and Accreditation (VV&A), DoD Defense Modeling and Simulation Office (DMSO), available at http://www.dmso.mil (accessed 28 Feb 2000).
4. Moore, J. W., "An Integrated Collection of Software Engineering Standards," IEEE Software 16, 51-57 (Nov-Dec 1999).
5. Sorensen, R., "Software Standards: Their Evolution and Current State," Cross Talk: J. Def. Software Eng. 12(12), 21-25 (Dec 1999).
6. Mayhew, D. J., Principles and Guidelines in Software User Interface Design, Prentice Hall, Englewood Cliffs, NJ (1992).
7. DoD Joint Technical Architecture, Version 3.0 (29 Nov 1999), available at http:/ /www-jta.itsi.disa.mil/ (accessed 28 Feb 2000).
8. Conceptual Modeling Language - Syntax and Semantics for IDEFIX97 (IDEFobject), IEEE Standard 1320.2-1998, IEEE, Piscataway, NJ (1998).
9. An Intelligent Brokering Service for Knowledge-Component Reuse on the World Wide Web, available at http://www.swi.psy.uva.nl/projects/ IBROW3/home-ibrow.html (accessed 28 Feb 2000).
10. J. Conceptual Modeling, available at http://www.inconcept.com/JCM (accessed 28 Feb 2000).
11. Teeuw, W. B., and van den Berg, H., "On the Quality of Conceptual Models, in Proc. 16th Int. Conf. on Conceptual Modeling (3-16 Nov 1997), available at http://osm7.cs.byu.edu/ER97/workshop4/tvdb.html (accessed 28 Feb 2000).
12. Lindland, O. I., Sindre, G., and Solvberg, A., "Understanding Quality in Conceptual Modeling," IEEE Software 11(2), 42-49 (Mar 1994).
13. Glossary of Modeling and Simulation Terms, DoD Defense Modeling and Simulation Office (DMSO), available at http://www.dmso.mil (accessed 28 Feb 2000).
14. Mars Climate Orbiter, available at http://lunar.ksc.nasa.gov/mars/msp98/orbiter/ (accessed 28 Feb 2000).
15. Partsch, H. A., Specification and Transformation of Programs: A Formal Approach to Software Development, Springer-Verlag, New York (1990).
16. Poston, R. M., "Automating Specification-Based Software Testing," in Proc. IEEE Computer Society, Los Alamitos, CA (1996).
17. Grady, J. O., System Validation and Verification, CRC Press, Boca Raton, FL (1997).
18. Nelson, M., Clark, J., and Spurlock, M. A., "Curing the Software Requirements and Cost Estimating Blues: The Fix Is Easier Than You Might Think," in Program Manager, Vol. XXVIII, No. 6, Defense Systems Management College (DSMC), DSMC Press, Ft. Belvoir, VA, pp. 54-60 (Nov-Dec 1999).
19. Sheehan, J., Prosser, T., Conley, H., Stone, G., Yentz, K., and Morrow, J., "Conceptual Models of the Mission Space (CMMS): Basic Concepts, Advanced Techniques, and Pragmatic Examples," in Proc. 98 Spring Simulation Interoperability Workshop, Vol. 2, pp. 744-751 (Mar 1998).
20. Johnson, T. H., "Mission Space Model Development, Reuse and the Conceptual Models of the Mission Space Toolset," in Proc. 98 Spring Simulation Interoperability Workshop, Vol. 2, pp. 893-900 (Mar 1998).
21. Gaines, B. R., "An Overview of Knowledge Acquisition and Transfer," Int. J. Man-Machine Stud. 26(4), 453-472 (Apr 1987).
22. Sharp, J. K., "Validating an Object-Oriented Model," J. Conceptual Modeling, Issue No. 6 (Dec 1998), available at http://www.inconcept.com/JCM (accessed 28 Feb 2000).
23. Hone G. N., and Moulding, M. R., "Developments in Application Domain Modelling for the Verification and Validation of Synthetic Environments: Training Process and System Definition." in Proc. 99 Spring Simulation Interoperability Workshop, Orlando, FL (15-19 Mar 1999), available at http:// www.sisostds.org/siw/ (accessed 28 Feb 2000).
24. Zeigler, B. P., Kim, T. G., and Praebofer, H., Theory of Modeling and Simulation, 2nd ed., Academic Press, New York (1999).
25. Sarjoughian, H. S., and Zeigler, B. P., "The Role of Collaborative DEVS Modeler in Federation Development," in Proc. 99 Fall Simulation Interoperability Workshop (Sep 1999), available at http://www.sisostds.org/siw/ (accessed 28 Feb 2000).
26. YEROOS Research Group, available at http://yeroos.qant.ucl.ac.be/ yeroos.html (accessed 28 Feb 2000).
27. Nissanke, N., Formal Specification: Techniques and Applications, Springer-Verlag, New York (1999).
28. NASA Formal Methods Guidebook: Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Vol. I: Planning and Technology Insertion, NASA/TP-98-208193 (1998), available at http://eis.jpl.nasa.gov/ quality/Formal_Methods/index.html (accessed 28 Feb 2000).
29. SEI Interactive: Software Requirements Engineering 2( 1 ) (Mar 1999) available at http://www.sei.cmu.edu/products/sci.interactive (accessed 28 Feb 2000).
30. World Congress on Formal Methods, available at http://archive.comlab.ox.ac. uk/formal-methods.html (accessed 28 Feb 2000).
31. Booch, G., Rumbaugh, J., and Jacobson, L, The Unified Modeling Language User Guide, Addison-Wesley, Reading, MA (1999).
32. HLA Federation Development and Execution Process (FEDEP) Model, HLA Interface Specification, and Run-Time Infrastructure-Next Generation (RTI-NG), available from http://www.dmso.mil (accessed 28 Feb 2000).
33. Pollack, A. F., and Baker, J. P., "Federation Decomposition: HLA Metrics," in Proc. 99 Fall Simulation Interoperability Workshop (Sep 1999), available at http://www.sisostds.org/siw/ (accessed 28 Feb 2000).
34. Gross, D. C. (ed.), "Report from the Fidelity Implementation Study Group," 99S-SIW-167, in Proc. 99 Fall Simulation Interoperability Workshop, available at http://www.sisostds.org/siw/ (accessed 28 Feb 2000).
35. Roache, P. J., Verification and Validation in Computational Science and Engineering, Hermosa Publishers, Albuquerque, NM (1998.)
36. Knowledge Engineering, available at http://church.cse.ogi.edu/-walton/ know_eng.html (accessed 28 Feb 2000).
37. J. Data and Knowledge Engineering, available at http://www.elsevier.com/inca/ publications/store/5/0/5/6/0/8/ (accessed 28 Feb 2000).
38. Sowa, J. F., Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole, Florence, KY (2000).
39. NASA Formal Methods Guidebook: Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume II: A Practitioner's Companion, NASA-GB-001-97 (1997).