A Petri-Net-Based Approach to Reliability Determination of Ontology-Based Service Compositions

• Published in: IEEE transactions on systems, man, and cybernetics. Systems Vol. 43; no. 5; pp. 1240 - 1247
• Main Authors: Xia, Yunni, Luo, Xin, Li, Jia, Zhu, Qingsheng
• Format: Journal Article
• Language: English
• Published: New York, NY IEEE 01.09.2013; Institute of Electrical and Electronics Engineers; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Applied sciences; Artificial intelligence; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Confidence interval analysis; Confidence intervals; Exact sciences and technology; Guidelines; Impact analysis; Information systems. Data bases; Mathematical models; Memory organisation. Data processing; Ontologies; Ontology Web Language for Services (OWL-S); Petri net; Probabilistic methods; Probability theory; Process control; Quality of service; reliability; Run time (computers); Semantics; Sensitivity analysis; service composition; Software; Software engineering; Software reliability; Speech and sound recognition and synthesis. Linguistics; Stochastic processes; Studies; Web services; Ontology; Project management; Web service; Confidence interval analysis; Modeling; Interval arithmetic; Optimization; Semantic web; User service; Completeness; Non markovian process; service composition; User need; Petri net; Capability index; Service process; Composition; Sensitivity analysis; Probabilistic approach; Coordination; Confidence interval; Ontology Web Language for Services (OWL-S); User requirement; Feasibility; Reliability; Service oriented; Service quality
• ISSN: 2168-2216; 2168-2232
• DOI: 10.1109/TSMCA.2012.2227957

Ontology Web Language for Services (OWL-S), one of the most significant semantic Web service ontologies proposed to date, provides a core ontological framework and guidelines for describing the properties and capabilities of services in an unambiguous computer-interpretable form. Analysis of the quality of service of composite service processes specified in OWL-S enables service users to decide whether the process meets nonfunctional requirements. In this paper, we propose a probabilistic approach for reliability analysis of OWL-S processes, employing the non-Markovian stochastic Petri net (NMSPN) as the fundamental model. Based on the NMSPN representations of the OWL-S elements, we introduce an analytical method for the calculation of the process-normal-completion probability as the reliability estimate. This method takes the probabilistic parameters of service invocations and messages as model inputs. To validate the feasibility and accuracy of our approach, we obtain runtime experimental data and conduct a confidence interval analysis in a case study. A sensitivity analysis is also performed to determine the impact of model parameters on reliability and to help identify the reliability bottlenecks.