Semantic Web Service Architecture for Simulation Model Reuse

COTS simulation packages (CSPs) have proved popular in an industrial setting with a number of software vendors. In contrast, options for re-using existing models seem more limited. Re-use of simulation component models by collaborating organizations is restricted by the same semantic issues however that restrict the inter-organization use of web services. The current representations of web components are predominantly syntactic in nature lacking the fundamental semantic underpinning required to support discovery on the emerging semantic web. Semantic models, in the form of ontology, utilized by web service discovery and deployment architecture provide one approach to support simulation model reuse. Semantic interoperation is achieved through the use of simulation component ontology to identify required components at varying levels of granularity (including both abstract and specialized components). Selected simulation components are loaded into a CSP, modified according to the requirements of the new model and executed. The paper presents the development of ontology, connector software and web service discovery architecture in order to understand how such ontology are created, maintained and subsequently used for simulation model reuse. The ontology is extracted from health service simulation - comprising hospitals and the National Blood Service. The ontology engineering framework and discovery architecture provide a novel approach to inter- organization simulation, uncovering domain semantics and adopting a less intrusive interface between participants. Although specific to CSPs the work has wider implications for the simulation community.

[1]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[2]  Sukumar Ghosh,et al.  Robust Topology Control Protocols , 2004, OPODIS.

[3]  J. Mark Pullen Reliable multicast network transport for distributed virtual simulation , 1999, Proceedings 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications.

[4]  C. Siva Ram Murthy,et al.  An Efficient Dynamic Scheduling Algorithm For Multiprocessor Real-Time Systems , 1998, IEEE Trans. Parallel Distributed Syst..

[5]  Nicholas Gibbins Web Ontology Language , 2009, Encyclopedia of Database Systems.

[6]  W. McCarthy,et al.  USE OF AN ACCOUNTING OBJECT INFRASTRUCTURE FOR KNOWLEDGE-BASED ENTERPRISE MODELS , 1999 .

[7]  Emilie T. Saulnier,et al.  Model reusability in a graphical simulation package , 1992, WSC '92.

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

[9]  Stephen John Turner,et al.  Manufacturing sypply chain management: distributed supply chain simulation across enterprise boundaries , 2000, WSC '00.

[10]  Yong Meng Teo,et al.  On Syntactic Composability and Model Reuse , 2007, First Asia International Conference on Modelling & Simulation (AMS'07).

[11]  Dieter Fensel,et al.  A Conceptual Comparison of WSMO and OWL-S , 2004, ECOWS.

[12]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[13]  Sanjiva Weerawarana,et al.  Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI , 2002, IEEE Internet Computing.

[14]  David Bell,et al.  Grid service discovery in the financial markets sector , 2005, 27th International Conference on Information Technology Interfaces, 2005..

[15]  Mark Lycett,et al.  Semantic Transformation of Web Services , 2005, OTM Workshops.

[16]  C. Siva Ram Murthy,et al.  A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis , 1998, IEEE Trans. Parallel Distributed Syst..

[17]  G. L. Geerts,et al.  Expert opinion [accounting] , 1999, IEEE Intell. Syst..

[18]  Vincent Roca,et al.  A survey of proposals for an alternative group communication service , 2003, IEEE Netw..

[19]  Krithi Ramamritham,et al.  Resource Reclaiming in Multiprocessor Real-Time Systems , 1993, IEEE Trans. Parallel Distributed Syst..

[20]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[21]  Rassul Ayani,et al.  SDR: A Semantic Based Distributed Repository for Simulation Models and Resources , 2007, First Asia International Conference on Modelling & Simulation (AMS'07).

[22]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[23]  James A. Hendler,et al.  Agents and the Semantic Web , 2001, IEEE Intell. Syst..

[24]  Behnoosh Hariri,et al.  Topology Control Modeling and Measurement for Networked Virtual Environments , 2007, 2007 IEEE Symposium on Virtual Environments, Human-Computer Interfaces and Measurement Systems.

[25]  Kang G. Shin,et al.  A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults , 2003, IEEE Trans. Computers.

[26]  Christophe Diot,et al.  Deployment issues for the IP multicast service and architecture , 2000, IEEE Netw..

[27]  Nigel Shadbolt,et al.  Agent-based semantic web services , 2003, WWW '03.

[28]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[29]  Joseph B Collins Standardizing an Ontology of Physics for Modeling and Simulation , 2004 .

[30]  Mehul Bhatt,et al.  sedOnto: A Web Enabled Ontology for Synthetic Environment Representation Based on the SEDRIS Specification. , 2004 .

[31]  Farnam Jahanian,et al.  Real-time primary-backup (RTPB) replication with temporal consistency guarantees , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[32]  Shyan-Ming Yuan,et al.  Practical Middleware for Massively Multiplayer Online Games , 2005, IEEE Internet Comput..

[33]  Krithi Ramamritham,et al.  The Spring kernel: a new paradigm for real-time operating systems , 1989, OPSR.

[34]  Rami G. Melhem,et al.  Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems , 1997, IEEE Trans. Parallel Distributed Syst..

[35]  C. A. Boer Distributed Simulation of Complex Systems: Application in Container Handling , 2002 .

[36]  Kai Mertins,et al.  Neutral template libraries for efficient distributed simulation within a manufacturing system engineering platform , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[37]  Andreas Tolk,et al.  Taxonomies, Ontologies, Battle Management Languages - Recommendations for the Coalition BML Study Group , 2005 .

[38]  Kyoung Shin Park,et al.  Effects of network characteristics on human performance in a collaborative virtual environment , 1999, Proceedings IEEE Virtual Reality (Cat. No. 99CB36316).

[39]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[40]  Yingfeng Oh,et al.  Scheduling real-time tasks for dependability , 1995 .

[41]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[42]  Andreas Tolk,et al.  Ontology of the C2IEDM - Further Studies to Enable Semantic Interoperability , 2005 .

[43]  Athman Bouguettaya,et al.  A multilevel composability model for semantic Web services , 2005, IEEE Transactions on Knowledge and Data Engineering.

[44]  Vladimir Tosic,et al.  On Requirements for Ontologies in Management of Web Services , 2002, WES.

[45]  Rassul Ayani,et al.  Simulation Model Composition using BOMs , 2006, 2006 Tenth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

[46]  Wei Sun,et al.  Hybrid Overloading and Stochastic Analysis for Redundant Scheduling in Real-time Multiprocessor Systems* , 2007 .

[47]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[48]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

[49]  G. Manimaran,et al.  Efficient overloading techniques for primary-backup scheduling in real-time systems , 2004, J. Parallel Distributed Comput..

[50]  Simon J. Cox,et al.  Towards a Knowledge-Based Approach to Semantic Service Composition , 2003, SEMWEB.

[51]  Stephen John Turner,et al.  Using manufacturing process flow for time synchronization in HLA-based simulation , 2005, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

[52]  Shervin Shirmohammadi,et al.  An end-to-end communication architecture for collaborative virtual environments , 2001, Comput. Networks.

[53]  G. Manimaran,et al.  An Adaptive Scheme for Fault-Tolerant Scheduling of Soft Real-Time Tasks in Multiprocessor Systems , 2001, HiPC.

[54]  Krithi Ramamritham,et al.  Scheduling algorithms and operating systems support for real-time systems , 1994, Proc. IEEE.

[55]  John Ladbrook,et al.  Towards COTS distributed simulation using GRIDS , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).