An Executable Concurrent Model for OWL-S Process Models

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 Syst...

Full description

Saved in:

Bibliographic Details
Published in:	2010 10th International Conference on Quality Software pp. 405 - 413
Main Authors:	Zhenhua Duan, Cong Tian
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.07.2010
Subjects:	Computational modeling Data models Kripke Transition System Logic programming Ontologies OWL-S process model Process control Semantic Web Simulation Temporal Logic Programming Language Verification Web services
ISBN:	1424480787, 9781424480784
ISSN:	1550-6002
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!