A Stochastic-Petri-Net-Based Model for Ontology-Based Service Composition
Li Kuang, Weiling Li, Xiaoning Sun, Yunni Xia · 2016
The OWL-based Web Service ontology is one of the most important standards for semantic service composition. Performance analysis of composite service processes specified in OWL-S enables us to understand whether the process meet the SLA requirements. In this work, we propose a Petri-net-based formal framework for OWL-S processes using non-markovian-stochastic-petri-nets (NMSPN) as the intermediate representation. The main innovation of this research includes a translation from OWL-S to non-markovian-stochastic-petri-nets and a well-defined control flow model for composite services built on OWL-S.