Ontologies for Modeling and Simulation: Initial Framework

[JOHN - redo this last...] Many fields have or are developing ontologies for their subdomains. The Gene Ontology (GO) is now considered to be a great success in biology, a field that has already developed several extensive ontologies. Similar advantages could accrue to the simulation and modeling community. Ontologies provide a way to establish common vocabularies and capture domain knowledge for organizing the domain with a community wide agreement or with the context of agreement between leading domain experts. They can the be used to provide significantly improved (semantic) search and browsing, integration of heterogeneous information sources, and improved analytics and knowledge discovery capabilities. Such knowledge can be used to establish common vocabularies, nomenclatures and taxonomies with links to detailed information sources. In this paper, the design and development of a draft ontology for modeling and simulation called the Discreteevent Modeling Ontology (DeMO) are discussed, which can form a basis for achieving a broader community agreement and adoption.

[1]  George S. Fishman,et al.  Solution of Large Networks by Matrix Methods , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[2]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[3]  Amit P. Sheth,et al.  Investigating ontologies for simulation modeling , 2004, 37th Annual Simulation Symposium, 2004. Proceedings..

[4]  Lee W. Schruben,et al.  Structural and behavioral equivalence of simulation models , 1992, TOMC.

[5]  W S McCulloch,et al.  A logical calculus of the ideas immanent in nervous activity , 1990, The Philosophy of Artificial Intelligence.

[6]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[7]  Ramanathan V. Guha,et al.  SemTag and seeker: bootstrapping the semantic web via automated semantic annotation , 2003, WWW '03.

[8]  Amit P. Sheth,et al.  Complex relationships and knowledge discovery support in the InfoQuilt system , 2003, The VLDB Journal.

[9]  Ian Horrocks,et al.  The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..

[10]  Michael Pidd,et al.  Computer Simulation in Management Science (3rd Edition) , 1998 .

[11]  A. N. Shiryayev.  On The Theory of Continuous Random Processes , 1992 .

[12]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[13]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[14]  Daniel T. Brunner,et al.  Inside simulation software: how it works and why it matters: inside discrete-event simulation software: how it works and why it matters , 2002, WSC '02.

[15]  Steffen Staab,et al.  WonderWeb: Ontology Infrastructure for the Semantic Web , 2004 .

[16]  C. A. Petri.  Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[17]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[18]  Amit P. Sheth,et al.  Semantic Enhancement Engine: A Modular Document Enhancement Platform for Semantic Applications over Heterogeneous Content , 2002 .

[19]  Paul A. Fishwick,et al.  Simulation model design and execution - building digital worlds , 1995 .

[20]  John A. Miller,et al.  Ontologies for modeling and simulation: issues and approaches , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[21]  P. Haas,et al.  Regenerative generalized semi-markov processes , 1987 .

[22]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[23]  Peter J. Haas,et al.  Stochastic Petri Nets: Modelling, Stability, Simulation , 2002 .

[24]  Tag Gon Kim.  DEVS formalism: reusable model specification in an object-oriented framework , 1995 .

[25]  Amit P. Sheth,et al.  Perspectives in Modeling: Simulation, Database, and Workflow , 1997, Conceptual Modeling.

[26]  Tuncer I. Ören.  Toward the Body of Knowledge of Modeling and Simulation , 2005 .

[27]  Wolfgang Kreutzer,et al.  System simulation programming styles and languages , 1986 .

[28]  John S. Carson,et al.  Modeling and simulation worldviews , 1993, WSC '93.

[29]  Vernon Rego,et al.  Efficient process interaction with threads in parallel discrete event simulation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[30]  John A. Miller,et al.  Finding a substrate for federated components on the Web , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[31]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[32]  Bernard P. Zeigler,et al.  Discrete event modeling and simulation technologies : a tapestry of systems and AI-based theories and methodologies , 2001 .

[33]  Mandyam M. Srinivasan,et al.  Introduction To Computer System Performance Evaluation , 1992 .

[34]  Paul A. Fishwick,et al.  MOOSE: architecture of an object-oriented multimodeling simulation system , 1997, Defense, Security, and Sensing.

[35]  Paul A. Fishwick.  Using XML for simulation modeling , 2002, Proceedings of the Winter Simulation Conference.

[36]  Paul A. Fishwick,et al.  A taxonomy for simulation modeling based on programming language principles , 1998 .

[37]  Kurt Lautenbach,et al.  Synchronisationsgraphen , 2004, Acta Informatica.

[38]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[39]  John A. Miller,et al.  Java-based query driven simulation environment , 1996, WSC.

[40]  Randall P. Sadowski,et al.  Introduction to Simulation Using Siman , 1990 .

[41]  Diane P. Bischak,et al.  Object-oriented simulation , 1991, 1991 Winter Simulation Conference Proceedings..

[42]  Walter L. Smith,et al.  Regenerative stochastic processes , 1955, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[43]  Graham M. Birtwistle,et al.  Relating operational and denotational descriptions of [pi]Demos , 1997, Simul. Pract. Theory.

[44]  Lee W. Schruben,et al.  Simulation Graph Duality: A World View Transformation For Simple Queueing Models , 1989, 1989 Winter Simulation Conference Proceedings.

[45]  Bernard P. Zeigler,et al.  Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems , 1990 .

[46]  Jean-Loup E. Baer,et al.  Graph models of computations in computer systems , 1968 .

[47]  Jeffrey A. Joines,et al.  Object-oriented modeling and simulation with C++ , 1992, WSC '92.

[48]  Richard E. Nance,et al.  Simulation modeling methodology: principles and etiology of decision support , 1995 .

[49]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[50]  Joost-Pieter Katoen,et al.  A Stochastic Automata Model and its Algebraic Approach , 1997 .

[51]  Anil Wipat,et al.  Applying Petri Nets to Systems Biology using XML Technologies , 2004 .

[52]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[53]  J. Sourrouille,et al.  Model Mapping in MDA , 2002 .

[54]  John A. Miller,et al.  Ontology Based Representations of Simulation Models Following the Process Interaction World View , 2006, Proceedings of the 2006 Winter Simulation Conference.

[55]  Peter W. Glynn,et al.  On the role of generalized semi-Markov processes in simulation output analysis , 1983, WSC '83.

[56]  Amit P. Sheth,et al.  Web service technologies and their synergy with simulation , 2002, Proceedings of the Winter Simulation Conference.

[57]  James O. Henriksen,et al.  GPSS - finding the appropriate world-view , 1981, WSC '81.

[58]  Paul A. Fishwick.  RUBE: an XML-based architecture for 3D process modeling and model fusion , 2002, SPIE Defense + Commercial Sensing.

[59]  Lee W. Schruben,et al.  Simulation modeling with event graphs , 1983, CACM.

[60]  Thomas J. Schriber,et al.  Simulation Using GPSS , 1974 .

[61]  H. Vangheluwe.  DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[62]  Richard E. Nance,et al.  A history of discrete event simulation programming languages , 1993, HOPL-II.

[63]  John A. Miller,et al.  Simulation and the semantic Web , 2005, Proceedings of the Winter Simulation Conference, 2005..

[64]  K. Gödel.  Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .

[65]  Paul A. Fishwick.  Web-based simulation: some personal observations , 1996, Winter Simulation Conference.

[66]  Lee W. Schruben,et al.  Fast Simulations of Large-Scale Highly Congested Systems , 2003, Simul..

[67]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[68]  John F. Hopkins,et al.  The rube Framework for Personalized 3-D Software Visualization , 2001, Software Visualization.

[69]  Amit P. Sheth,et al.  METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..

[70]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[71]  Boleslaw K. Szymanski,et al.  Research and commercial opportunities in Web-Based Simulation , 2001, Simul. Pract. Theory.

[72]  James R. Jackson,et al.  Jobshop-Like Queueing Systems , 2004, Manag. Sci..

[73]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[74]  Michael R. Lackner.  Toward a general simulation capability , 1962, AIEE-IRE '62 (Spring).

[75]  Jinho Lee,et al.  RUBE: a customized 2D and 3D modeling framework for simulation , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[76]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[77]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[78]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[79]  Philip J. Kiviat.  DIGITAL COMPUTER SIMULATION: COMPUTER PROGRAMMING LANGUAGES , 1969 .

[80]  Olga Caprotti,et al.  The OpenMath standard , 2000 .

[81]  David R.C. Hill.  Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[82]  John A. Miller,et al.  Building a Web-based federated simulation system with Jini and XML , 2001, Proceedings. 34th Annual Simulation Symposium.

[83]  Bernard P. Zeigler,et al.  A multimodel methodology for qualitative model engineering , 1992, TOMC.

[84]  Michael Denny.  Ontology Building: A Survey of Editing Tools , 2002 .

[85]  Jinho Lee,et al.  A two-stage modeling and simulation process for web-based modeling and simulation , 2002, TOMC.

[86]  Amit P. Sheth,et al.  Managing Semantic Content for the Web , 2002, IEEE Internet Comput..

[87]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[88]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..