An Executable Concurrent Model for OWL-S Process Models

Authors:
Zhenhua Duan;Cong Tian
Affiliations:
-;-
Venue:
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Year:
2010

Citing 0
Cited 1

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

Concurrency and Computation: Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition System (KTS), is inductively defined for processes of OWL-S. Moreover, an algorithm K-F is formalized to translate KTS into FTLL. Thus, an executable subset of FTLL, Framed Tempura, can be employed to simulate OWL-S process models. In addition, an example is given to show how our method works.