A non-Markovian stochastic Petri net-based approach to performance evaluation of ontology-based service composition

Authors:
Yunni Xia;Neng Wan;Gang Dai;Xin Luo;Tianhao Sun
Affiliations:
College of Computer Science, Chongqing University, Chongqing 400044, China;College of Computer Science, Chongqing University, Chongqing 400044, China;College of Computer Science, Chongqing University, Chongqing 400044, China;College of Computer Science, Chongqing University, Chongqing 400044, China;College of Computer Science, Chongqing University, Chongqing 400044, China
Venue:
Concurrency and Computation: Practice & Experience
Year:
2012

Citing 7
Cited 0

A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S

GCC '07 Proceedings of the Sixth International Conference on Grid and Cooperative Computing
From OWL-S to PNML+OWL for Semantic Web Services

ICCMS '10 Proceedings of the 2010 Second International Conference on Computer Modeling and Simulation - Volume 04
OCCAM: ontology-based computational contextual analysis and modeling

CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
An Executable Concurrent Model for OWL-S Process Models

QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
A compositional operational semantics for OWL-S

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Timing constraint workflow nets for workflow analysis

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Performance modeling and analysis of workflow

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Ontology Web Language (OWL)-based web service ontology is one of the major standards for modeling and description of distributed service composition. To analyze the performance of composite service, processes specified in OWL-S give way to tell whether the process meets the performance requirements and to choose the process with higher efficiency from those with similar function. In this paper, we propose a stochastic Petri net-based approach for performance analysis of OWL-S processes, which employs non-Markovian stochastic Petri nets as the intermediate representation. The main innovation of this research includes a translation from OWL-S to non-Markovian stochastic Petri nets and a performance (using expected-process-normal-completion-time as the metric) analysis method. We also validate the correctness of the approach in the case study by showing 90% CI obtained from experimental results that cover corresponding theoretical prediction values. Copyright © 2012 John Wiley & Sons, Ltd.