DeMO: An Ontology for Discrete-event Modeling and Simulation

SIMULATION

Volumn 87, Issue 9, 2011, Pages 747-773

  Silver, Gregory A ^a   Miller, John A ^b   Hybinette, Maria ^b   Baramidze, Gregory ^c   York, William S ^d  

^a ANDERSON UNIVERSITY   (United States)

^b University of Georgia ^*  (United States)

^c WESTERN ILLINOIS UNIVERSITY   (United States)

^d UNIVERSITY OF GEORGIA   (United States)

Author keywords

Discrete systems; simulation environments; standards; Web based environments

Indexed keywords

BIOLOGICAL SCIENCE; DESIGN AND DEVELOPMENT; DISCRETE SYSTEMS; DISCRETE-EVENT MODELING; GENE ONTOLOGY; INTEGRATION OF HETEROGENEOUS INFORMATION; MODELING AND SIMULATION; SIMULATION ENVIRONMENTS; SUB-DOMAINS; WEB-BASED ENVIRONMENT;

COMPUTER SIMULATION; GENES; SEMANTICS; USER INTERFACES;

ONTOLOGY;

EID: 80052354255     PISSN: 00375497     EISSN: None     Source Type: Journal    
DOI: 10.1177/0037549710386843     Document Type: Article

References (66)

1. Lackner MR Toward a general simulation capability. In: Proceedings of the AFIPS Spring Joint Computer Conference, 1962, pp.1-14.
2. Kiviat PJ Digital computer simulation: computer programming languages. RAND Memo RM-5883-PR, 1969.
3. Petri CA Fundamentals of a theory of asynchronous information flow. In: Proceedings of IFIP Congress 62, 1962, pp.386-390.
4. Schruben L. Simulation modeling with event graphs. Comm ACM 1983; 26: 957-963.
5. Fishwick PA Web-based simulation: Some personal observations. In: Proceedings of the 1996 Winter Simulation Conference, 1996, pp.772-779.
6. Nair R., Miller JA and Zhang Z. A Java-based query driven simulation environment. In: Proceedings of the 1996 Winter Simulation Conference, 1996, pp.786-793.
7. Page EH, Fishwick PA, Healy KJ, Nance RE and Paul RJ Web-based simulations: revolution or evolution. ACM Trans Model Comput Simulat 2000; 10: 3-17.
8. Miller JA, Fishwick PA, Taylor SJ, Benjamin P. and Szymanski B. Research and commercial opportunities. In: Web-based Simulation. Simulat Pract Theor. Special Issue on Web-Based Simulation 2001; 9: 55-72.
9. Jungel K., Kindler E. and Weber M. The Petri net markup language. Petri Net Newsl 2000; 59: 24-29.
10. Fishwick PA RUBE: an XML-based architecture for 3D process modeling and model fusion. In: Proceedings of Enabling Technology for Simulation Science, Part of SPIE Aerosense ’02 Conference, 2002, pp.330-335.
11. Fishwick, P. Using XML for Simulation Modeling. In: Proceedings of the 2002 Winter Simulation Conference, 2002, pp.616-622.
12. Berners-Lee T., Hendler J. and Lassila O. The Semantic Web. Sci Am 2001; 284: 34-43.
13. Lacy L. Semantic web applications for modeling and simulation, http://www.daml.org/2001/07/dmso-pplications/semantic-web-071101ppt, (2001, accessed 17 March 2010).
14. Gruber T. A translation approach to portable ontology specifications. Knowl Acquis 1993; 5: 199-220.
15. Miller J., Baramidze G. and Fishwick P. Investigating ontologies for simulation and modeling. In: Proceedings of the 37th Annual Simulation Symposium, 2004, pp.55-71.
16. Tolk A. Evaluation of the C2IEDM as an interoperabilityenabling ontology. European Simulation Interoperability Workshop 2005.
17. Lacy LW Interchanging discrete-event simulation process-interaction models using the web ontology language - OWL. PhD Dissertation, Department of Industrial Engineering and Management Systems, University of Central Florida, 2006.
18. Teo Y. and Szabo C. CODES: An integrated approach to composable modeling and simulation. In: Proceedings of the 41st Annual Simulation Symposium, 2008, pp.103-110.
19. Yilmaz L. and Paspuleti S. Toward a meta-level framework for agent-supported interoperation of defense simulations. J Defense Model Simulat 2005; 2: 161-175.
20. Zeigler BP, Praehofer H. and Kim TG Theory of modeling and simulation. Integrating discrete event and continuous complex dynamic systems. San Diego, CA: Academic Press, 2000.
21. Zeigler B., Mittal S. and Xu H. Towards a formal standard for interoperability in M&S/system of systems integration. In: Proceedings of GMU-AFCEA Symposium on critical Issues in C4I, 2008.
22. Lacy LW and Gerber WJ Potential modeling and simulation applications of the web ontology language - OWL. In: Proceedings of the 2004 Winter Simulation Conference, Washington DC, 2004, pp.265-270.
23. McGuinness D. and Harmelen F. OWL Web Ontology Language overview, http://www.w3.org/TR/owl-features ( 2003. accessed 12 June 2009).
24. Tolk A. and Muguria J. The levels of conceptual interoperability model. In: Proceedings of the 2003 Simulation Interoperability Workshop, 2003, pp.14-19.
25. Tolk A. Composable mission spaces and M&S repositories - applicability of open standards. Spring Simulation Interoperability Workshop, 2004.
26. Turnitsa CD Extending the levels of conceptual interoperability model (LCIM). In: Proceedings of the IEEE Summer Computer Simulation Conference, 2005.
27. Zeigler BP and Hammonds PE Modeling & simulation-based data engineering: introducing pragmatics into ontologies for net-centric information exchange. San Diego, CA: Academic Press, 2007.
28. Silver GA, Lacy LW and Miller JA Ontology based representations of simulation models following the process interaction world view. In: Proceedings of the 2006 Winter Simulation Conference, 2006, pp.1168-1176.
29. Silver GA, Bellipady K., Miller J., York W. and Kochut K. Supporting interoperability using the Discrete-event Modeling Ontology (DeMO). In: Proceedings of the 2009 Winter Simulation Conference, 2009, pp.1399-1410.
30. Benjamin P. and Graul M. A framework for adaptive modeling and ontology-driven simulation. In: Proceedings of the SPIE, Enabling Technologies for Simulation Science, 6227, 2006.
31. Godel K. Die vollstandigkeit der aiome des logischen funktionen-kalkuls. Monatshefte fur Mathematik und Physik 1930; 38: 198-349.
32. Godel K. Uber formal unentscheidbare satze der principia mathematica und verwandter systeme. Monatshefte fur Mathematik und Physik 1931; 38: 173-198.
33. Bernardo C., Horrocks I., Motik B., Parsia B., Patel-Schneider P. and Sattler U. OWL 2: The Next Step for OWL. Web Semantics Sci Serv Agents World Wide Web 2008; 6: 309-322.
34. Baader F., Brandt S. and Lutz C. Pushing the EL envelope. In: Proceedings of the 19th International Joint conference on Artificial Intelligence, 2005, pp.364-369.
35. Berners-Lee T. Semantic Web - XML2000, http://www.w3.org/2000/Talks/1206-xml2k-tbl (2000, accessed 25 June 2009).
36. Denny M. Ontology tools survey, revisited, http://www.xml.com/pub/a/2004/07/14/onto.html (2004. accessed 17 March 2010).
37. Evermann J. A UML and OWL description of bunge's upper-level ontology model. Software Syst Model 2008; 8: 235-249.
38. Boley H., Hallmark G., Kifer M., Paschke A., Polleres A. and Reynolds D. RIF Core: WC3 Working Draft, http://www.w3.org/TR/rif-core/all.pdf, (2008, accessed 1 July 2009).
39. Kifer M. Rule interchange format: the framework. Lect Notes in Comput Sci 2008; 5341: 1-11.
40. Zeigler BP Theory of Modelling and Simulation. New York: Wiley Interscience, 1976.
41. Page EH Simulation modeling methodology: principles and etiology of decision support. PhD Dissertation, Virginia Institute of Technology, 1994.
42. Miller JA, Potter WD, Kochut KJ and Ramesh D. Object-oriented simulation languages and environments: a four-level architecture. Object-Oriented Simulation. Piscataway, NJ: IEEE Press, 1997, pp.53-88.
43. Tocher KD The art of simulation. Princeton. NJ: Van Nostrand Company, 1963.
44. Pidd M. Computer simulation in management science, 3rd ed. Chichester: Wiley, 1992.
45. Peterson JL Petri Nets. ACM Comput Surv 1977; 9: 223-252.
46. Birtwistle GM Discrete event modeling in SIMULA. London: MacMillian, 1979.
47. Schriber TJ Simulation using GPSS. New York: Wiley, 1974.
48. Pritsker AAB. Introduction to simulation with SLAM. New York: Wiley, 1979.
49. Pegden CD, Shannon RE and Sadowski RP Introduction to simulation using SIMAN. New York: McGraw-Hill, 1990.
50. Minar N., Burkhart R., Langton C. and Askernazi M. The Swarm simulation system: a toolkit for building multiagent simulations. Working Paper 96-06-042, Santa Fe Institute, Santa Fe, 1996.
51. Luke S., Cioffi-Revilla C., Panait L. and Sullivan K. MASON: a new multi-agent simulation toolkit. In: Proceedings of the 2004 SwarmFest Workshop, 2004.
52. Hybinette M., Kraemer E., Xiong Y., Matthews G. and Ahmed J. SASSY: a design for a scalable agent-based simulation system using a distributed discrete event infrastructure. In: Proceedings of the 38th Winter Simulation Conference, 2006, 926-933.
53. Riley P. and Riley G. SPADES: a distributed agent simulation environment with software-in-the-loop execution. In: Proceedings of the 35th Winter Simulation Conference, 2003, pp.817-825.
54. Fishwick PA Simulation model design and execution: building digital worlds. Englewood Cliffs, NJ: Prentice-Hall, 1995.
55. Fishwick PA A taxonomy for simulation modeling based on programming language principles. IIE Trans IE Res 1996; 30: 811-820.
56. Dahl O., Myhrhaug B. and Nygaard K. SIMULA 67 common base language. Oslo: Norskregnesentral, 1968.
57. Cota BA and Sargent RG A modification of the process interaction world view. ACM Trans Model Comput Simulat 1992; 2: 109-129.
58. Cassandras CG and Lafortune S. Introduction to discrete event systems. Dordrecht: Kluwer Academic Publishers, 1999.
59. Nance RE A history of discrete event simulation programming languages. In: Proceedings of the Second ACM SIGPLAN History of Programming Languages Conference. Reprinted in ACM SIGPLAN Not 1993; 28: 149-175.
60. Incose. SE tools taxonomy simulation tools, http://www.incose.org/tools/tooltax/simulation_tools.html (2002, 14 accessed January 2010).
61. Schruben L. and Roeder T. Fast simulations of large-scale highly-congested systems. Simulat Trans Soc Model Simulat Int 2003; 79(3): 1-11.
62. Yucesan E. and Schruben L. Structural and behavioral equivalence of simulation models. ACM Trans Model Comput Simulat 1992; 2: 82-103.
63. Schriber TJ and Brunner DT Inside simulation software: how it works and why it matters. In: Proceedings of the 1996 Winter Simulation Conference, 1996, pp. 23-30.
64. Pace DK Ideas about simulation conceptual model development. Johns Hopkins APL Tech Dig 2000; 21: 327-336.
65. Bruijn J., Ehrig M. and Feier C. Ontology mediation, merging and aligning. In: Semantic web technologies: trends research and ontology-based systems. Chichester: John Wiley and Sons, 2006.
66. Horridge M., Bechhofer S. and Noppens O. Igniting the OWL 1.1 Touch Paper: The OWL API CEUR. In: Proceedings of OWL Experiences and Directions Workshop 2007, 278, 2007, pp.1-9.